From: Adam Chlipala Date: Sat, 9 Dec 2006 21:03:06 +0000 (+0000) Subject: Continue on OS.SysErr in server loop X-Git-Tag: release_2010-11-19~337 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/7af7d4cb58acc571a75b51c0dd0f1b4d9c92e619?hp=7af7d4cb58acc571a75b51c0dd0f1b4d9c92e619 Continue on OS.SysErr in server loop ---