diff options
author | 1998-04-16 18:09:02 +0000 | |
---|---|---|
committer | 1998-04-16 18:09:02 +0000 | |
commit | 638169228f2da7a11a727f190fc98250296faecc (patch) | |
tree | 155c601cf2caa5f84eca5d90b69d237c4ddf9398 /clients | |
parent | 76aa28c2285288f481d1193b1652315ebf0745c7 (diff) |
When we get a notice from our server, turn off the booting flag. (We
used to do that; it got lost when we went from alarm to select.)
Otherwise we punt our subs every time we switch servers.
Diffstat (limited to 'clients')
0 files changed, 0 insertions, 0 deletions