Changeset 19792

Show
Ignore:
Timestamp:
10.06.2009 14:45:53 (10 years ago)
Author:
ak19
Message:

Greenstone Server Interface button now says Restart Library when the server has already started, instead of Enter Library. This matches with what the GSI of the LocalLibraryServer? does on Windows.

Files:
1 modified

Legend:

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

    r19005 r19792  
    135135        switch (server.getServerState()){ 
    136136    case BaseServer.START_SERVER: 
     137        { 
     138        info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.Help_EnterLibrary"))); 
     139        enter_button.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.EnterLibrary"))); 
     140        enter_button.setEnabled(true); 
     141        fMenu.setEnabled(true); 
     142        break; 
     143        } 
    137144    case BaseServer.SERVER_STARTED: 
    138145        { 
    139         info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.Help_EnterLibrary"))); 
    140         enter_button.setEnabled(true); 
    141         fMenu.setEnabled(true); 
    142                 break; 
     146        info_label.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.Help_RestartLibrary"))); 
     147        enter_button.setText(stringToHTML(BaseServer.dictionary.get("ServerControl.RestartLibrary"))); 
     148        enter_button.setEnabled(true); 
     149        fMenu.setEnabled(true); 
     150        break; 
    143151        } 
    144152    case BaseServer.SERVER_START_FAILED: 
     
    164172        enter_button.setEnabled(true); 
    165173        fMenu.setEnabled(true); 
    166                  break;  
    167         } 
    168         default:{ 
    169         enter_button.setText(BaseServer.dictionary.get("ServerControl.EnterLibrary")); 
    170         enter_button.setEnabled(false); 
    171         fMenu.setEnabled(false); 
    172     } 
     174        break; 
     175        } 
     176        default: 
     177        { 
     178        enter_button.setText(BaseServer.dictionary.get("ServerControl.EnterLibrary")); 
     179        enter_button.setEnabled(false); 
     180        fMenu.setEnabled(false); 
     181        } 
    173182    } 
    174183    }