wip #5220

diff --git a/bin/ping b/bin/ping
index 99261770bacc07d66ff190f85ba9d14b927573d0..472d87af63d6679f58563458f9110524f21f752e 100644 (file)
--- a/bin/ping
+++ b/bin/ping
@@ -1,3 +1,8 @@
 #!/bin/sh
 /usr/local/fluidbook_processfarm/bin/mount
-echo "1"
\ No newline at end of file
+FILE=/usr/local/fluidbook_processfarm/files/status
+if [ -f "$FILE" ]; then
+    echo "1"
+else
+    echo "0"
+fi