mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

ludovicp
17.40.2010 35ee1b93a3f78be7c928f0871e812011af8fa60c
opends/resource/bin/_mixed-script.bat
@@ -53,7 +53,7 @@
set ORIGINAL_JAVA_BIN=%OPENDS_JAVA_BIN%
set SCRIPT_UTIL_CMD=set-full-environment
call "%INSTALL_ROOT%\lib\_script-util.bat" $*
call "%INSTALL_ROOT%\lib\_script-util.bat" %*
if NOT %errorlevel% == 0 exit /B %errorlevel%
set SCRIPT_NAME_ARG="-Dorg.opends.server.scriptName=%OLD_SCRIPT_NAME%"
@@ -86,7 +86,7 @@
set OPENDS_JAVA_BIN=%ORIGINAL_JAVA_BIN%
set SCRIPT_UTIL_CMD=set-full-environment
call "%INSTALL_ROOT%\lib\_script-util.bat" $*
call "%INSTALL_ROOT%\lib\_script-util.bat" %*
if NOT %errorlevel% == 0 exit /B %errorlevel%
set SCRIPT_NAME_ARG="-Dorg.opends.server.scriptName=%OLD_SCRIPT_NAME%"