diff options
author | Greg Hudson <ghudson@mit.edu> | 1997-06-09 16:17:10 +0000 |
---|---|---|
committer | Greg Hudson <ghudson@mit.edu> | 1997-06-09 16:17:10 +0000 |
commit | d33e482744fad80d95cdd89ed380c5b8401e49bf (patch) | |
tree | 51b09193de29021721879e686a21943784996be9 /util/et | |
parent | a892ed58ff0bface370b3f440454dc6006ed2f25 (diff) |
zhm could spin after losing contact with a server. This patch does
three things to resent_notices(): makes sure the while loop makes
progress even when there's a packet whose timeout hasn't been reached,
doesn't gratuitously reset timeout_type to NOTICES if we called
new_server(), and doesn't reset the alarm if we called new_server().
Diffstat (limited to 'util/et')
0 files changed, 0 insertions, 0 deletions