Matitaweb:

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

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 858ea6e8e85c199d6badfd067f90f9e0369e507f..5e947c28b3cb928f0ea01d121e1d38609247723b 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -116,6 +116,13 @@ netplex {
             handler = "commit";
           }
         };
+        uri {
+          path = "/update";
+          service {
+            type = "dynamic";
+            handler = "update";
+          }
+        };
       };
     };
     workload_manager {