[r2002-11-10 13:45:59 by cvscast] Empty log message

Original author: cvscast
Date: 2002-11-10 13:45:59+00:00

driver/webiface.ml

@@ -18,12 +18,10 @@ let fatal_error title s =
   cgi # output # output_string ("<h1>" ^ title ^ "</h1>");
   cgi # output # output_string s;
   cgi # output # commit_work();
-  cgi # finalize ()
-
+  cgi # finalize ();
+  exit 0
 
-let () = fatal_error "Error" "Blabla\n\n"
 
-(*
 (* Configuration *)
 
 let session_dirs = [ "/home/frisch/sessions"; "/users/formel/cduce/sessions" ]
@@ -186,26 +184,18 @@ let main (cgi : Netcgi.std_activation) =
     cgi # output # commit_work()
   with
       exn ->
-	cgi # output # rollback_work();
-	cgi # set_header 
-	  ~status:`Internal_server_error
-          ~cache:`No_cache 
-	  ();
-	cgi # output # output_string "<h1>Internal software error!</h1>";
-	(match exn with
-	  | Unix.Unix_error (e,f,arg) ->
-	      cgi # output # output_string (
+	let msg = 
+	  match exn with
+	    | Unix.Unix_error (e,f,arg) ->
 		"System error: " ^ (Unix.error_message e) ^ 
 		"; function " ^ f ^ 
 		"; argument " ^ arg
-	      )
-	  | exn ->
-	      cgi # output # output_string (Printexc.to_string exn);
-	);
-	cgi # output # commit_work()
+	    | exn ->
+	      Printexc.to_string exn
+	in
+	fatal_error "Internal software error!" msg
 
 let () =
   main cgi;
   cgi # finalize ()
 
-*)