update

diff --git a/scripts/probe-inria-nodes.sh b/scripts/probe-inria-nodes.sh
index bb37490..ac71811 100755 (executable)
--- a/scripts/probe-inria-nodes.sh
+++ b/scripts/probe-inria-nodes.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-ssh="ssh -F /dev/null -o StrictHostKeyChecking=no"
+ssh="ssh -F /dev/null -o StrictHostKeyChecking=no -o ConnectTimeout=3"
 
 nodes="wlab02 onelab02 onelab09 onelab10 onelab11"
 
@@ -10,6 +10,7 @@ nodes="wlab02 onelab02 onelab09 onelab10 onelab11"
 for node in $nodes; do h=${node}.pl.sophia.inria.fr
   echo ===================== $node
   $ssh root@$h cat /etc/fedora-release 2> /dev/null
+  $ssh root@$h vmstat
   $ssh root@$h vserver-stat 2> /dev/null | wc -l
 done