fixed restart on Windows when directory had spaces in it's name

git-svn-id: https://svn.berlios.de/svnroot/repos/yacy/trunk@4947 6c8d7289-2bf4-0310-a012-ef5d649a1542
pull/1/head
lotus 17 years ago
parent f30f976f2d
commit 54a73b58cf

@ -349,7 +349,7 @@ public final class serverSystem {
if(isWindows){ if(isWindows){
starterFileExtension = ".starter.bat"; starterFileExtension = ".starter.bat";
// use /K to debug, /C for release // use /K to debug, /C for release
script = "start /MIN CMD /C " + scriptFile.getAbsolutePath().replaceAll(" ", "\\ "); script = "start /MIN CMD /C \"" + scriptFile.getAbsolutePath() + "\"";
} else { // unix/linux } else { // unix/linux
starterFileExtension = ".starter.sh"; starterFileExtension = ".starter.sh";
script = "#!/bin/sh" + serverCore.LF_STRING + scriptFile.getAbsolutePath().replaceAll(" ", "\\ ") + " &" + serverCore.LF_STRING; script = "#!/bin/sh" + serverCore.LF_STRING + scriptFile.getAbsolutePath().replaceAll(" ", "\\ ") + " &" + serverCore.LF_STRING;

Loading…
Cancel
Save