X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fnetplex.conf;h=7bdad94f0e07579ee72c2720978b9d03bbb04b58;hb=0fea4ed429678c3293027cfe76fdbe15cfa331cb;hp=0728b01ca526a58bd542b73b580cd995d71e73db;hpb=2ab54291cd9038c81b82ddb29936e966c66a480c;p=helm.git

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 0728b01ca..7bdad94f0 100644
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -27,7 +27,7 @@ netplex {
           path = "/";
           service {
             type = "file";
-            docroot = "/home/ricciott/matitaB/matita";
+            docroot = "/home/matitaweb/matita/matita/html";
             media_types_file = "/etc/mime.types";
             enable_listings = true;
           }
@@ -60,6 +60,20 @@ netplex {
             handler = "bottom";
           }
         };
+        uri {
+          path = "/top";
+          service {
+            type = "dynamic";
+            handler = "top";
+          }
+        };
+        uri {
+          path = "/register";
+          service {
+            type = "dynamic";
+            handler = "register";
+          }
+        };
         uri {
           path = "/login";
           service {
@@ -67,13 +81,48 @@ netplex {
             handler = "login";
           }
         };
-        (* uri {
+        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";
+          }
+        };
+        uri {
+          path = "/update";
+          service {
+            type = "dynamic";
+            handler = "update";
+          }
+        };
       };
     };
     workload_manager {
@@ -86,4 +135,3 @@ netplex {
   }
 }
 
-