wip #5220

diff --git a/bin/ping b/bin/ping
index 472d87af63d6679f58563458f9110524f21f752e..d4cc2e1f1f982355cf7b2a44cdc8546e42de5663 100644 (file)
--- a/bin/ping
+++ b/bin/ping
@@ -1,5 +1,5 @@
 #!/bin/sh
-/usr/local/fluidbook_processfarm/bin/mount
+/usr/local/fluidbook_processfarm/bin/mount > /dev/null  2>&1
 FILE=/usr/local/fluidbook_processfarm/files/status
 if [ -f "$FILE" ]; then
     echo "1"