X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/850959592e3c311f4b9330ea93d3cb0d8d3892ee..5cab5a9811e767a649e57b4012fbc19635dae11e:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index bea07af..90a0ee4 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -1253,6 +1253,12 @@ fun service () =
 			    OpenSSL.close bio
 			    handle OpenSSL.OpenSSL _ => ();
 			    loop ())
+			 | IO.Io {name, function, cause} =>
+			   (print ("IO error: " ^ function ^ " for " ^ name ^ "\n");
+			    app (fn x => print (x ^ "\n")) (SMLofNJ.exnHistory cause);
+			    OpenSSL.close bio
+			    handle OpenSSL.OpenSSL _ => ();
+			    loop ())
 			 | e =>
 			   (print "Unknown exception in main loop!\n";
 			    app (fn x => print (x ^ "\n")) (SMLofNJ.exnHistory e);