X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/f8ef6c208aee42dd24c8836797a89f786c985a6f..ac64d96d45f900309ec7e97138b2e793f40ec9f1:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index f7b8346..aca57ed 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -787,7 +787,13 @@ fun requestFirewall {node, uname} =
 
 fun regenerate context =
     let
+	val _ = ErrorMsg.reset ()
+
 	val b = basis ()
+	val _ = if Env.lookupType b "string" then
+		    print "Still got it\n"
+		else
+		    print "Don't got it\n"
 	val () = Tycheck.disallowExterns ()
 
 	val () = Domain.resetGlobal ()
@@ -1253,8 +1259,15 @@ 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);
 			    OpenSSL.close bio
 			    handle OpenSSL.OpenSSL _ => ();
 			    loop ())