From 7af7d4cb58acc571a75b51c0dd0f1b4d9c92e619 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 9 Dec 2006 21:03:06 +0000
Subject: [PATCH] Continue on OS.SysErr in server loop

---
 src/main.sml | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
2.20.1