diff options
| author |  Greg Hudson <ghudson@mit.edu> | 1998-04-16 18:09:02 +0000 |
|---|---|---|
| committer | Greg Hudson <ghudson@mit.edu> | 1998-04-16 18:09:02 +0000 |
| commit | 638169228f2da7a11a727f190fc98250296faecc (patch) | |
| tree | 155c601cf2caa5f84eca5d90b69d237c4ddf9398 /zwgc | |
| 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 'zwgc')
0 files changed, 0 insertions, 0 deletions