tree a875a7a25dc9258e73f49c49f7c940f74c135728
parent 20088e1632f1ada152ce7cc9a7bd2f37c08fc456
author David Shrewsbury <shrewsbury.dave@gmail.com> 1496346947 -0400
committer David Shrewsbury <shrewsbury.dave@gmail.com> 1496346947 -0400

Fix log streamer closing

For some reason, it can (rarely) happen that the socket used by the log
streamer is already closed when we are in server_close(). Since
our intent is to close it anyway, do not raise an exception on an
already closed socket.

Change-Id: I5828f6351341bac5e55ae2211e8a3b3f94032899