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

jvergara
20.32.2008 3549450f14b417a5ff2fccc8f06650587308caf8
opends/src/guitools/org/opends/guitools/uninstaller/UninstallLauncher.java
@@ -98,7 +98,10 @@
    } else {
      scriptName = Installation.UNIX_UNINSTALL_FILE_NAME;
    }
    System.setProperty(ServerConstants.PROPERTY_SCRIPT_NAME, scriptName);
    if (System.getProperty(ServerConstants.PROPERTY_SCRIPT_NAME) == null)
    {
      System.setProperty(ServerConstants.PROPERTY_SCRIPT_NAME, scriptName);
    }
    initializeParser();
  }