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

neil_a_wilson
17.21.2006 170bf9ef7250618cc02ca153d83fe4fb4855833a
opends/src/server/org/opends/server/tools/InstallDS.java
@@ -143,7 +143,7 @@
    }
    else
    {
      programName = "setup.sh";
      programName = "setup";
    }