Don't use interfaces anymore for ModDb validity, but check for undetermined unif vars

1 files changed, 4 insertions, 2 deletions

diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index bfa40265..cb7c8a77 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -435,10 +435,12 @@ val () = (Globals.setResetTime ();
                                                                 wrs = [Socket.sockDesc sock],
                                                                 exs = [],
                                                                 timeout = SOME (Time.fromSeconds 1)}))) then
-                     (app (fn arg => send (sock, arg ^ "\n")) args;
+                     (TextIO.print "Using daemon\n";
+                      app (fn arg => send (sock, arg ^ "\n")) args;
                       send (sock, "\n");
                       OS.Process.exit (wait ()))
                  else
                      (OS.FileSys.remove socket;
                       raise OS.SysErr ("", NONE))
-             end handle OS.SysErr _ => OS.Process.exit (oneRun args))
+             end handle OS.SysErr _ =>
+                        OS.Process.exit (oneRun args))