| commit | 27a7c0c53775f4803337d4c73a62a89f43486351 | [log] [tgz] |
|---|---|---|
| author | David Shrewsbury <shrewsbury.dave@gmail.com> | Thu Jun 01 15:55:47 2017 -0400 |
| committer | David Shrewsbury <shrewsbury.dave@gmail.com> | Thu Jun 01 15:55:47 2017 -0400 |
| tree | a875a7a25dc9258e73f49c49f7c940f74c135728 | |
| parent | 20088e1632f1ada152ce7cc9a7bd2f37c08fc456 [diff] |
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