X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fnetplex.conf;h=8764b1738f220c7fc6be9aa1e25e1a64d459f26f;hb=acf77bb24694158a57444c7f32da46ceac8b30c4;hp=daa41247d56e7aacf1938c57cb823e4b5dde265d;hpb=8f694a82e3291e4a3c2a4f805782846204cf348c;p=helm.git

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index daa41247d..8764b1738 100644
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -95,6 +95,20 @@ netplex {
             handler = "reset";
           }
         };
+        uri {
+          path = "/save";
+          service {
+            type = "dynamic";
+            handler = "save";
+          }
+        };
+        uri {
+          path = "/commit";
+          service {
+            type = "dynamic";
+            handler = "commit";
+          }
+        };
       };
     };
     workload_manager {