maybe we should put if $GLOBUS_HOSTNAME == "" and $HOSTNAME != "" then GLOBUS_HOSTNAME=HOSTNAME in the startup script. In the four machines I just looked at, that gives the correct globally unique name. --