Changeset 16129 for gli

Show
Ignore:
Timestamp:
24.06.2008 17:09:38 (12 years ago)
Author:
osborn
Message:

Addition of SCHEDULE keyword and related changes for scheduling component

Files:
1 modified

Legend:

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

    r15154 r16129  
    9090    static final public int EXPLODE = 6; 
    9191    static final public int SRCREPLACE = 7; // for replacing source docs with their html 
     92    static final public int SCHEDULE = 8; 
    9293 
    9394    /** Elements in status type enumeration. */ 
     
    105106    static public String GSHELL_EXPLODE = "gshell_explode"; 
    106107    static public String GSHELL_SRCREPLACE = "gshell_srcreplace"; // for replacing source docs with their html versions 
     108    static public String GSHELL_SCHEDULE = "gshell_schedule";  
    107109 
    108110    /** Determine if the given process is still executing. It does this by attempting to throw an exception - not the most efficient way, but the only one as far as I know 
     
    346348    String out_name = null; 
    347349    BufferedOutputStream bos = null; 
    348     if(type == IMPORT || type == BUILD) { 
     350    if(type == IMPORT || type == BUILD || type == SCHEDULE) { 
    349351        if(type == IMPORT) { 
    350352        out_name = (String) Gatherer.c_man.getCollection().import_options.getValue("out"); 
    351353        } 
    352         else { 
     354        else if(type == BUILD) { 
    353355        out_name = (String) Gatherer.c_man.getCollection().build_options.getValue("out"); 
     356        } 
     357        else { // SCHEDULE 
     358        out_name = (String) Gatherer.c_man.getCollection().schedule_options.getValue("out");  
    354359        } 
    355360        if(out_name != null && out_name.length() > 0) { 
     
    608613        name = "replace_srcdoc_with_html.pl"; 
    609614        break; 
     615    case SCHEDULE: 
     616        name = "schedule.pl"; 
     617        break;  
    610618    default: 
    611619        name = "";