search

bmegli / ev3dev-mapping-ui

A cross-platform real-time 3D spatial data visualization
GNU General Public License v3.0
9 stars 4 forks source link

cleanly disconnect when server disconnects #34

Closed bmegli closed 7 years ago

bmegli commented 7 years ago

Correctly catch Exception when NetwrokStream write fails. It is thrown as IOException with InnerException as SocketException so catch exception and check the inner exception for socket error details