Matitaweb: svn now skips empty commits.

[helm.git] / matitaB / matita / netplex.conf

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 52178dee496daea15f3c3e7d2ec317c6c3ea6270..ff6a76d6019a4df5c0bf6b7469e1d6210000dd7c 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -60,6 +60,13 @@ netplex {
             handler = "bottom";
           }
         };
+        uri {
+          path = "/top";
+          service {
+            type = "dynamic";
+            handler = "top";
+          }
+        };
         uri {
           path = "/register";
           service {
@@ -81,6 +88,41 @@ netplex {
             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 {