# HG changeset patch
# User kleing
# Date 1223690074 -7200
# Node ID 3caee0cd91d882f9c6ca7dcb3e9e13c4e1ceba38
# Parent  be2a72b421aed581114a81fe3a854af431438767
change DISTPREFIX to not use yet another filesystem

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
+}