--- a/Admin/isatest/isatest-settings Thu Oct 09 08:47:28 2008 +0200
+++ b/Admin/isatest/isatest-settings Thu Oct 09 09:18:32 2008 +0200
@@ -15,6 +15,7 @@
LOGPREFIX=$HOME/log
MASTERLOG=$LOGPREFIX/isatest.log
+LOGSERVER=macbroy23.informatik.tu-muenchen.de
ERRORDIR=$HOME/var
ERRORLOG=$ERRORDIR/error.log
@@ -22,3 +23,14 @@
RUNNING=$HOME/var/running
DISTPREFIX=$HOME/tmp/isadist
+
+# this function avoids NFS inconsistencies with multiple writers by
+# sshing to one central machine and writing locally. There is stil a
+# race condition, but at least it should not corrupt a whole set of entries
+# any more.
+function log()
+{
+ MSG="$1"
+ TIMESTAMP="$(date)"
+ echo "[$TIMESTAMP $HOSTNAME $PRG]: $MSG" | ssh $LOGSERVER "cat >> $MASTERLOG"
+}
\ No newline at end of file