mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
jvergara
23.32.2007 dc2f3418f385efdf9d6e6194d57a84a243d79a30 
 opendj-sdk/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