| commit | 53d2273432a3dd32646c043f4c67b26ef2d1016b | [log] [tgz] |
|---|---|---|
| author | Rob Gaddi <rgaddi@highlandtechnology.com> | Thu Jun 20 16:28:46 2019 -0700 |
| committer | Rob Gaddi <rgaddi@highlandtechnology.com> | Thu Jun 20 16:28:46 2019 -0700 |
| tree | f1310602cc88069f62a6feeb6ba5cc11292dfdc8 | |
| parent | 3215eb3088a4ca55c5217c2e99da5584c3ee02c1 [diff] |
Fixed flush_input_buffer() for situations where the remote end has closed the socket.