author | wenzelm |
Sat, 17 Dec 2011 12:51:30 +0100 | |
changeset 45908 | 143d2514347f |
parent 45907 | 4b41967bd77e |
child 45909 | 6fe61da4c467 |
--- a/Admin/isatest/isatest-settings Sat Dec 17 12:42:10 2011 +0100 +++ b/Admin/isatest/isatest-settings Sat Dec 17 12:51:30 2011 +0100 @@ -35,6 +35,8 @@ DISTPREFIX=$HOME/isadist +HOSTNAME="$(hostname -s)" + # 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