Admin/isatest/isatest-settings
changeset 28539 bdb308737bfd
parent 24782 38e5c05ef741
child 28567 3caee0cd91d8
     1.1 --- a/Admin/isatest/isatest-settings	Thu Oct 09 08:47:28 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-settings	Thu Oct 09 09:18:32 2008 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4  
     1.5  LOGPREFIX=$HOME/log
     1.6  MASTERLOG=$LOGPREFIX/isatest.log
     1.7 +LOGSERVER=macbroy23.informatik.tu-muenchen.de
     1.8  
     1.9  ERRORDIR=$HOME/var
    1.10  ERRORLOG=$ERRORDIR/error.log
    1.11 @@ -22,3 +23,14 @@
    1.12  RUNNING=$HOME/var/running
    1.13  
    1.14  DISTPREFIX=$HOME/tmp/isadist
    1.15 +
    1.16 +# this function avoids NFS inconsistencies with multiple writers by
    1.17 +# sshing to one central machine and writing locally. There is stil a
    1.18 +# race condition, but at least it should not corrupt a whole set of entries
    1.19 +# any more.
    1.20 +function log()
    1.21 +{
    1.22 +  MSG="$1"
    1.23 +  TIMESTAMP="$(date)"
    1.24 +  echo "[$TIMESTAMP $HOSTNAME $PRG]: $MSG" | ssh $LOGSERVER "cat >> $MASTERLOG"
    1.25 +}
    1.26 \ No newline at end of file