Vinnie Falco 72ea142c5c Add basic_timeout_stream: ...

This stream wrapper replaces basic_stream_socket and
provides just the timeout functionality.

* basic_stream_socket is removed

2019-01-17 17:18:31 -08:00

..

boost

Add basic_timeout_stream:

2019-01-17 17:18:31 -08:00