diff gui/win32/interface.c @ 32867:454f6decbd93

When reading from a stream fails, try one more time after a reset. This should re-establish for example timed-out network connections. Fixes bug #1841.
author reimar
date Tue, 22 Feb 2011 22:27:01 +0000
parents e34226e0a890
children d116366f3523
line wrap: on
line diff