call gethostname directly via the socket API vs. invoking hostname via the shell
[tests.git] / regrtests /
drwxr-xr-x   ..
-rw-r--r-- 1987 regrtests.cron
-rw-r--r-- 8367 regrtests.py