[7578] in Athena Bugs
rt 7.2R: zhm?
daemon@ATHENA.MIT.EDU (dkk@ATHENA.MIT.EDU)
Wed May 15 22:53:09 1991
From: dkk@ATHENA.MIT.EDU
Date: Wed, 15 May 91 22:52:59 -0400
To: bugs@ATHENA.MIT.EDU
System name: tisiphone
Type and version: RTPC-ROMPC 7.2R
Display type: apa16
What were you trying to do?
Switch Zephyr servers, because I was getting long delays from
zlocate.
What's wrong:
"zctl new_server" let me switch to a dead server (arilinn).
What should have happened:
I should have only been switched back and forth between
Neskaya and B11Zephyr, I'd think, even though zhm probably
doesn't already know that the server is dead. (Perhaps zhm
should try to ping the new server immediately, and switch back
if there's no answer?)
Please describe any relevant documentation references:
zctl(1) just says that "zctl new_server" tells zhm to switch
zhm(8) gives no further insight