wip #5220

diff --git a/bin/mount b/bin/mount
index abc5a2fda550020404287440dde480fb831cf02c..79495759f2e70daaf78e94162c6a79b1f4fa4e45 100644 (file)
--- a/bin/mount
+++ b/bin/mount
@@ -1,4 +1,9 @@
 #!/bin/sh
-sshfs -o uid=`id -u fluidbookfarmer` -o gid=`id -g fluidbookfarmer` root@godzilla.cubedesigners.com:/data/fluidbook/docs /usr/local/fluidbook_processfarm/files
+if mountpoint -q "/usr/local/fluidbook_processfarm/files"; then
+    echo "mount ok"
+else
+    sshfs -o uid=`id -u fluidbookfarmer` -o gid=`id -g fluidbookfarmer` root@godzilla.cubedesigners.com:/data/fluidbook/docs /usr/local/fluidbook_processfarm/files
+fi
+
 
 

diff --git a/bin/process b/bin/process
index 68fb8d551de430383fd80ae8580811205eced3fd..08773fb934c36ff75494311ccb8ef91982cf4151 100644 (file)
--- a/bin/process
+++ b/bin/process
@@ -1,2 +1,3 @@
 #!/bin/sh
+/usr/local/fluidbook_processfarm/bin/mount
 /usr/bin/php8.1 -f /usr/local/fluidbook_processfarm/bin/process.php -- $1
\ No newline at end of file