X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1c246434aa207f53d878f29b596b1d9519680c2f..7af7d4cb58acc571a75b51c0dd0f1b4d9c92e619:/src/main.sml

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