]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/searchEngine.ml
ported to latest ocaml-http API
[helm.git] / helm / searchEngine / searchEngine.ml
index fc0fb9cbee4ec2af67bb77d7f2b12ccfc1f269c2..87bcad36a42bc9b42d4985bdb7c4368410f7e0b3 100644 (file)
@@ -166,7 +166,8 @@ let port = Helm_registry.get_int "search_engine.port";;
 let pp_error = sprintf "<html><body><h1>Error: %s</h1></body></html>";;
 
 let bad_request body outchan =
-  Http_daemon.respond_error ~status:(`Client_error `Bad_request) ~body outchan
+  Http_daemon.respond_error ~code:(`Status (`Client_error `Bad_request)) ~body
+    outchan
 ;;
 
 let contype = "Content-Type", "text/html";;
@@ -305,7 +306,7 @@ let callback mqi_handle (req: Http_types.request) outchan =
         (match page with
         | page when is_permitted page ->
             (let fname = sprintf "%s/%s" pages_dir (remove_fragment page) in
-            Http_daemon.send_basic_headers ~code:200 outchan;
+            Http_daemon.send_basic_headers ~code:(`Code 200) outchan;
             Http_daemon.send_header "Content-Type" "text/html" outchan;
             Http_daemon.send_CRLF outchan;
             if preprocess then begin
@@ -397,13 +398,14 @@ let callback mqi_handle (req: Http_types.request) outchan =
                   (match selection_mode with
                   | `SINGLE -> assert false
                   | `MULTIPLE ->
-                      Http_daemon.send_basic_headers ~code:200 outchan ;
+                      Http_daemon.send_basic_headers ~code:(`Code 200) outchan;
                       Http_daemon.send_CRLF outchan ;
                       iter_file
                         (fun line ->
                           let formatted_choices =
                             String.concat ","
-                              (List.map (fun uri -> sprintf "\'%s\'" uri) choices)
+                              (List.map (fun uri -> sprintf "\'%s\'" uri)
+                                choices)
                           in
                           let processed_line =
                             apply_substs
@@ -445,7 +447,7 @@ let callback mqi_handle (req: Http_types.request) outchan =
                  in
                   String.concat ", " (aux 0 interpretations)
                 in
-                Http_daemon.send_basic_headers ~code:200 outchan ;
+                Http_daemon.send_basic_headers ~code:(`Code 200) outchan ;
                 Http_daemon.send_CRLF outchan ;
                 iter_file
                   (fun line ->
@@ -526,15 +528,18 @@ let callback mqi_handle (req: Http_types.request) outchan =
                   "<h4>Only constraints</h4>" ^
                   "Enforce Only constraints for objects: " ^
                     "<input type='checkbox' name='only_obj'" ^
-                    (if only_obj = None then "" else " checked='yes'") ^ " /><br />" ^
+                    (if only_obj = None then "" else " checked='yes'") ^
+                    " /><br />" ^
                   "Enforce Rel constraints for objects: " ^
                     "<input type='checkbox' name='only_rel'" ^
-                    (if only_rel = None then "" else " checked='yes'") ^ " /><br />" ^
+                    (if only_rel = None then "" else " checked='yes'") ^
+                    " /><br />" ^
                   "Enforce Sort constraints for objects: " ^
                     "<input type='checkbox' name='only_sort'" ^
-                    (if only_sort = None then "" else " checked='yes'") ^ " /><br />"
+                    (if only_sort = None then "" else " checked='yes'") ^
+                    " /><br />"
               in
-              Http_daemon.send_basic_headers ~code:200 outchan ;
+              Http_daemon.send_basic_headers ~code:(`Code 200) outchan ;
               Http_daemon.send_CRLF outchan ;
               iter_file
                 (fun line ->
@@ -551,7 +556,7 @@ let callback mqi_handle (req: Http_types.request) outchan =
            G.query_of_constraints universe must'' only'
           in
           let results = MQueryInterpreter.execute mqi_handle query in 
-           Http_daemon.send_basic_headers ~code:200 outchan ;
+           Http_daemon.send_basic_headers ~code:(`Code 200) outchan ;
            Http_daemon.send_CRLF outchan ;
            iter_file
              (fun line ->
@@ -567,7 +572,8 @@ let callback mqi_handle (req: Http_types.request) outchan =
                output_string outchan (processed_line ^ "\n"))
              final_results_TPL
     | invalid_request ->
-        Http_daemon.respond_error ~status:(`Client_error `Bad_request) outchan);
+        Http_daemon.respond_error ~code:(`Status (`Client_error `Bad_request))
+          outchan);
     debug_print (sprintf "%s done!" req#path)
   with
   | Chat_unfinished -> prerr_endline "Chat unfinished, Try again!"