X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.ml;h=3ef0db2e8e2e6e9215a753540ff4cfeabf255959;hb=58a86ec5f2286341ea465dab4e5ff06a68eb07fa;hp=1c7245164147eb8227b4ffb1c86418a6a13cf867;hpb=84e62facde0ee126b5f08dd376086acd861a9320;p=helm.git

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 1c7245164..3ef0db2e8 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -39,19 +39,26 @@ List of options:"
       exit (-1)
      end
   ) usage_msg ;
-  while true do
-   begin
-    try
-     CicTypeChecker.typecheck (UriManager.uri_of_string (read_line ()))
-    with
-     e ->
-      print_newline() ;
-      flush stdout ;
-      raise e
-   end ;
-   print_endline "END"
-  done
+  try
+   while true do
+    begin
+     try
+      CicTypeChecker.typecheck (UriManager.uri_of_string (read_line ()))
+     with
+        End_of_file -> raise End_of_file
+      | e ->
+       print_newline() ;
+       flush stdout ;
+       raise e
+    end ;
+    print_endline "END"
+   done
+  with
+   End_of_file -> ()
 ;;
 
 CicCooking.init() ;
+Logger.log_callback :=
+ (Logger.log_to_html
+   ~print_and_flush:(function s -> print_string s ; flush stdout)) ;
 main ();;