First attempt at svn commit of developments.

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

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index a270765e9482ca218c3bad38afd9b23e622ef364..8764b1738f220c7fc6be9aa1e25e1a64d459f26f 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -88,6 +88,27 @@ netplex {
             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 {