A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
hpcvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Little correction on crash detection.
[hpcvm.git]
/
src
/
and
/
hpcvm
/
Server.java
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 )
{