mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/tools/InstallDS.java @@ -143,7 +143,7 @@ } else { programName = "setup.sh"; programName = "setup"; }