From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Tue, 15 Nov 2011 11:46:25 +0000 (+0000)
Subject: Matitaweb: Fixed typo which caused the compilation of matitadaemon.ml
X-Git-Tag: make_still_working~2111
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=3b88d145e26b75f54ac6271a196c1ef315376123

Matitaweb: Fixed typo which caused the compilation of matitadaemon.ml
to fail.
---

diff --git a/matitaB/matita/matitadaemon.ml b/matitaB/matita/matitadaemon.ml
index 058e797bb..20a1d91c9 100644
--- a/matitaB/matita/matitadaemon.ml
+++ b/matitaB/matita/matitadaemon.ml
@@ -192,6 +192,7 @@ let eval_statement include_paths (* (buffer : GText.buffer) *) status (* script
     String.sub unparsed_text byte_parsed_text_len 
       (String.length unparsed_text - byte_parsed_text_len)
   in
+  prerr_endline (Printf.sprintf "ustring_sub caso 1: lstart=%d, parsed=%s" lstart parsed_text);
   let pre = Netconversion.ustring_sub `Enc_utf8  0 lstart parsed_text in
 
   let mk_univ trace = 
@@ -410,8 +411,11 @@ let advance0 sid text =
     with
     | HExtlib.Localized (floc,e) as exn ->
       let x, y = HExtlib.loc_of_floc floc in
+  prerr_endline (Printf.sprintf "ustring_sub caso 2: (%d,%d) parsed=%s" 0 x text);
       let pre = Netconversion.ustring_sub `Enc_utf8  0 x text in
+  prerr_endline (Printf.sprintf "ustring_sub caso 3: (%d,%d) parsed=%s" x (y-x) text);
       let err = Netconversion.ustring_sub `Enc_utf8  x (y-x) text in
+  prerr_endline (Printf.sprintf "ustring_sub caso 4: (%d,%d) parsed=%s" y (Netconversion.ustring_length `Enc_utf8 text - y) text);
       let post = Netconversion.ustring_sub `Enc_utf8 y 
          (Netconversion.ustring_length `Enc_utf8 text - y) text in
       let _,title = MatitaExcPp.to_string exn in
@@ -761,7 +765,6 @@ let advance (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
 let gotoBottom (cgi : Netcgi1_compat.Netcgi_types.cgi_activation) =
   let cgi = Netcgi1_compat.Netcgi_types.of_compat_activation cgi in
   let env = cgi#environment in
-  let char_to_parse = cgi#a
 (*  (try  *)
     let sid = Uuidm.of_string (Netcgi.Cookie.value (env#cookie "session")) in
     let sid = HExtlib.unopt sid in