X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2Fsearch_pattern_apply_tutor.ml;h=829d86f74755f35b861969933653431a471aeef6;hb=533e56ec8ce032057b42e19a8e66e49f88c29877;hp=531e94e0eae552df99896c198d1c62346740ce3a;hpb=ed90e027472d0250d45ae7200600c8804dd476f1;p=helm.git

diff --git a/helm/hbugs/tutors/search_pattern_apply_tutor.ml b/helm/hbugs/tutors/search_pattern_apply_tutor.ml
index 531e94e0e..829d86f74 100644
--- a/helm/hbugs/tutors/search_pattern_apply_tutor.ml
+++ b/helm/hbugs/tutors/search_pattern_apply_tutor.ml
@@ -79,6 +79,13 @@ let callback (req: Http_types.request) outchan =
         (Exception ("parse_error", reason)))
       outchan
 
+let postgresqlconnectionstring =
+ try
+  Sys.getenv "POSTGRESQL_CONNECTION_STRING"
+ with
+  Not_found -> "host=mowgli.cs.unibo.it dbname=helm_mowgli_new_schema user=helm"
+;;
+
 let main () =
   try
     Sys.catch_break true;
@@ -86,8 +93,11 @@ let main () =
     broker_id :=
       Some (Hbugs_tutors_common.register_to_broker
         my_own_id my_own_url "FOO" "Search_pattern_apply tutor");
+    Mqint.set_database Mqint.postgres_db ;
+    Mqint.init postgresqlconnectionstring ;
     Http_daemon.start'
-      ~addr:my_own_addr ~port:my_own_port ~mode:`Thread callback
+      ~addr:my_own_addr ~port:my_own_port ~mode:`Thread callback;
+    Mqint.close ()
   with Sys.Break -> ()  (* exit nicely, invoking at_exit functions *)
 ;;