mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
neil_a_wilson
27.06.2006 3aea921de15933628ff1ac9f9b234a16b55ead35 
 opends/resource/bin/verify-index.bat


@@ -27,31 +27,6 @@




setlocal




set DIR_HOME=%~dP0..


set INSTANCE_ROOT=%DIR_HOME%




if "%JAVA_BIN%" == "" goto noJavaBin


goto setClassPath




:noJavaBin


if "%JAVA_HOME%" == "" goto noJavaHome


if not exist "%JAVA_HOME%\bin\java.exe" goto noJavaHome


set JAVA_BIN="%JAVA_HOME%\bin\java.exe"


goto setClassPath




:noJavaHome


echo Error: JAVA_HOME environment variable is not set.


echo        Please set it to a valid Java 5 installation.


goto end






:setClassPath


FOR %%x in ("%DIR_HOME%\lib\*.jar") DO call "%DIR_HOME%\bin\setcp.bat" %%x




cd %DIR_HOME%




%JAVA_BIN% %JAVA_ARGS% -classpath "%CLASSPATH%" org.opends.server.tools.VerifyIndex --configClass org.opends.server.extensions.ConfigFileHandler --configFile "%DIR_HOME%\config\config.ldif" %*






:end


set OPENDS_INVOKE_CLASS="org.opends.server.tools.VerifyIndex"


call %~dP0\_server-script.bat %*