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

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