Little correction on crash detection.

diff --git a/src/and/hpcvm/Server.java b/src/and/hpcvm/Server.java
index 185b5f3..7c31580 100644 (file)
--- a/src/and/hpcvm/Server.java
+++ b/src/and/hpcvm/Server.java
@@ -517,15 +517,17 @@ public class Server extends UnicastRemoteObject implements ServicesServer
                                        
                                        if( cl.getTimeout() > max_timeout || cl.getFail() )
                                        {
+                                               dead = true ;
                                                if( ! cl.getFail() )
                                                {
                                                        try {
                                                                cl.getStub().echo() ;
                                                                cl.resetTimeout() ;
+                                                               dead = false ;
                                                        } catch( RemoteException e ) {
                                                                dead = true ;
                                                        }
-                                               }
+                                               } 
                                                
                                                if( dead )
                                                {