mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c4d533f5 | patch | commit | show whitespace
jvergara
07.48.2009 052be5b9c80271df1668049d8c7933f720872dee 
Remove unused line from the script.
1 files modified
1 ■■■■■ changed files
opends/resource/bin/_script-util.bat 1 ●●●●● patch | view | raw | blame | history 
 opends/resource/bin/_script-util.bat


@@ -113,7 +113,6 @@




:checkJavaPath


java.exe -version > NUL 2>&1


set RESULT_CODE=%errorlevel%


if not %errorlevel% == 0 goto noJavaFound


set OPENDS_JAVA_BIN=java.exe


goto endJavaHomeAndArgs