diff -r be2a72b421ae -r 3caee0cd91d8 Admin/isatest/isatest-settings --- a/Admin/isatest/isatest-settings Fri Oct 10 16:02:15 2008 +0200 +++ b/Admin/isatest/isatest-settings Sat Oct 11 03:54:34 2008 +0200 @@ -22,7 +22,7 @@ RUNNING=$HOME/var/running -DISTPREFIX=$HOME/tmp/isadist +DISTPREFIX=$HOME/isadist # this function avoids NFS inconsistencies with multiple writers by # sshing to one central machine and writing locally. There is stil a @@ -33,4 +33,4 @@ MSG="$1" TIMESTAMP="$(date)" echo "[$TIMESTAMP $HOSTNAME $PRG]: $MSG" | ssh $LOGSERVER "cat >> $MASTERLOG" -} \ No newline at end of file +}