From: Adam Chlipala <adamc@hcoop.net>
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=1c246434aa207f53d878f29b596b1d9519680c2f

Continue on OS.SysErr in server loop
---

diff --git a/src/main.sml b/src/main.sml
index 59607bb..19162a3 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -287,6 +287,11 @@ fun slave () =
 			    OpenSSL.close bio
 					  handle OpenSSL.OpenSSL _ => ();
 			    loop ())
+			 | OS.SysErr (s, _) =>
+			   (print ("System error: "^ s ^ "\n");
+			    OpenSSL.close bio
+			    handle OpenSSL.OpenSSL _ => ();
+			    loop ())
     in
 	loop ();
 	OpenSSL.shutdown sock