mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
jvergara
23.32.2007 939762c0ca558218be468ee79a0e75b4371fdfda 
 opends/resource/bin/status-panel.bat


@@ -27,7 +27,7 @@




setlocal




set DIR_HOME=%~dP0..


set DIR_HOME=%~dPs0..


set INSTANCE_ROOT=%DIR_HOME%




:checkJavaBin