X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fnetplex.conf;h=10e9c55dcfbe0a6a94419133bc45255fb0187707;hb=be919e9d4086362ab0ba1ab071e7c1e5cacbb5a2;hp=08b7481e60db6988f8a99759b7b42aea9fb9402d;hpb=7f28a5e47bd10355fee4332fe77bbfcca15f39d6;p=helm.git

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 08b7481e6..10e9c55dc 100644
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -12,7 +12,7 @@ netplex {
       name = "http";
       address {
         type = "internet";
-        bind = "0.0.0.0:9999";  (* Port 80 on all interfaces *)
+        bind = "0.0.0.0:9999";  (* Port 9999 on all interfaces *)
       };
     };
     processor {
@@ -27,7 +27,7 @@ netplex {
           path = "/";
           service {
             type = "file";
-            docroot = "/home/barolo/matitaB/matita";
+            docroot = "/home/matitaweb/matita/matita";
             media_types_file = "/etc/mime.types";
             enable_listings = true;
           }
@@ -60,6 +60,55 @@ netplex {
             handler = "bottom";
           }
         };
+        uri {
+          path = "/register";
+          service {
+            type = "dynamic";
+            handler = "register";
+          }
+        };
+        uri {
+          path = "/login";
+          service {
+            type = "dynamic";
+            handler = "login";
+          }
+        };
+        uri {
+          path = "/logout";
+          service {
+            type = "dynamic";
+            handler = "logout";
+          }
+        };
+        uri {
+          path = "/viewlib";
+          service {
+            type = "dynamic";
+            handler = "viewlib";
+          }
+        };
+        uri {
+          path = "/reset";
+          service {
+            type = "dynamic";
+            handler = "reset";
+          }
+        };
+        uri {
+          path = "/save";
+          service {
+            type = "dynamic";
+            handler = "save";
+          }
+        };
+        uri {
+          path = "/commit";
+          service {
+            type = "dynamic";
+            handler = "commit";
+          }
+        };
       };
     };
     workload_manager {