Changeset 20340

Show
Ignore:
Timestamp:
19.08.2009 20:41:18 (10 years ago)
Author:
ak19
Message:

server.jar now set to call gsicontrol.bat on Windows as well whenever it wants to execute a web server command target

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • greenstone3/trunk/src/java/org/greenstone/server/RunMake.java

    r18853 r20340  
    2020    String osName = System.getProperty("os.name"); 
    2121        if (osName.startsWith("Windows")) { 
    22         targetCmd = "fakemake.bat " + target; 
     22        //targetCmd = "fakemake.bat " + target; 
     23        targetCmd = "gsicontrol.bat " + target; 
    2324    } else { 
    2425        targetCmd = "./gsicontrol.sh " + target;