Changeset 13603

Timestamp:

2007-01-12T17:28:57+13:00 (17 years ago)

Author:

shaoqun

Message:

change getState method name to avoid name conflict in java 1.5

File:

• trunk/gsdl3/src/java/org/greenstone/server/Server.java (modified) (2 diffs)

trunk/gsdl3/src/java/org/greenstone/server/Server.java

@@ -153 +153 @@
      
         //wait for a while
-        while(launcher.getState() == -1){
+        while(launcher.getBrowserState() == -1){
             try{
         Thread.sleep(3000);
@@ -162 +162 @@
          } 
 
-    if (launcher.getState() != BrowserLauncher.LAUNCHSUCCESS ){
+    if (launcher.getBrowserState() != BrowserLauncher.LAUNCHSUCCESS ){
         recordError(dictionary.get("ServerControl.LaunchBrowser")); 
         server_state = BROWSER_LAUNCH_FAILED;