Changeset 14116

Show
Ignore:
Timestamp:
05.06.2007 11:52:02 (12 years ago)
Author:
qq6
Message:

set 'prcs = rt.exec(args)' in runLocal() for escaping spaces in the name of the directory on windows, and set 'prcs = rt.exec(command)' otherwise;

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/gli/src/org/greenstone/gatherer/shell/GShell.java

    r14110 r14116  
    234234         
    235235        Runtime rt = Runtime.getRuntime(); 
    236         Process prcs = rt.exec(command); 
     236        Process prcs = null; 
     237        if (Utility.isWindows()){ 
     238        prcs = rt.exec(args); 
     239        }else{ 
     240        prcs = rt.exec(command); 
     241        } 
    237242         
    238243        InputStreamReader eisr = new InputStreamReader( prcs.getErrorStream(), "UTF-8" );