From fe179e65ff14500f07e9c720a52279bb7f9871e6 Mon Sep 17 00:00:00 2001
From: =?utf8?q?S=C3=A9bastien=20Miqu=C3=A9e?=
 <sebastien.miquee@univ-fcomte.fr>
Date: Tue, 2 Aug 2011 16:02:45 +0200
Subject: [PATCH] Little correction on crash detection.

---
 src/and/hpcvm/Server.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/and/hpcvm/Server.java b/src/and/hpcvm/Server.java
index 185b5f3..7c31580 100644
--- 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 )
 						{
-- 
2.20.1