# HG changeset patch
# User wenzelm
# Date 1324122690 -3600
# Node ID 143d2514347f0aa3aced8ad47adb83c7a6e8e897
# Parent  4b41967bd77e1039d9d884e9444b7396dbde86aa
enforce short hostname on all platforms (especially macbroy2);

diff -r 4b41967bd77e -r 143d2514347f Admin/isatest/isatest-settings
--- 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