From: Wilmer Ricciotti Date: Mon, 30 May 2011 12:25:24 +0000 (+0000) Subject: Partially working table layout of matita web (only on some browsers). X-Git-Tag: make_still_working~2480 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f7c92759fdc11f3b0c0b1d9dd07bdebc40fc769b;p=helm.git Partially working table layout of matita web (only on some browsers). --- diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html new file mode 100644 index 000000000..98692b5ad --- /dev/null +++ b/matitaB/matita/index.html @@ -0,0 +1,436 @@ + + + + + + + + + + + + + + + + + + + +
+ +

+   +

+ + +
+ + +
+ 
+  
(* script lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo *)
+ +		 +
+
+ 
lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo
+
+
+ +
+ + diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml index 934e2ab1e..95ddb1800 100644 --- a/matitaB/matita/matitadaemon.ml +++ b/matitaB/matita/matitadaemon.ml @@ -135,6 +135,11 @@ let load_index outchan = Http_daemon.respond ~headers:["Content-Type", "text/html"] ~code:(`Code 200) ~body:s outchan ;; +let load_doc filename outchan = + let s = read_file filename in + Http_daemon.respond ~headers:["Content-Type", "text/html"] ~code:(`Code 200) ~body:s outchan +;; + let call_service outchan = try (ignore(MatitaEngine.assert_ng @@ -218,15 +223,18 @@ let callback req outchan = with e -> (prerr_endline (Printexc.to_string e); Http_daemon.respond ~code:(`Code 500) outchan)) - | url -> Http_daemon.respond_not_found ~url outchan - + | url -> + try + let url = String.sub url 1 (String.length url - 1) in + load_doc url outchan + with _ -> Http_daemon.respond_not_found ~url outchan ;; let spec = { Http_daemon.default_spec with callback = callback; port = 9999; - mode = `Single; + mode = `Thread; } ;;