Minor update.

Fixes a bug where the server still looks for clients to time out after
they quit.