Changeset 19470

Show
Ignore:
Timestamp:
14.05.2009 12:32:33 (10 years ago)
Author:
ak19
Message:

Waiting time for checking whether the server has started up already has been changed from 60s to 10s. (Tested.)

Files:
1 modified

Legend:

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

    r19441 r19470  
    2222public class Server2 extends BaseServer  
    2323{ 
    24     private static final int WAITING_TIME = 60; // time to wait and check for whether the server is running 
     24    private static final int WAITING_TIME = 10; // time to wait and check for whether the server is running 
    2525 
    2626    protected String libraryURL;