X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2Fnetplex.conf;h=ccd9119a3a3e132b61c034c32567d8124a5e41ed;hb=538cee79ad9754ad46015de1fd34a3ad808f08c7;hp=10e9c55dcfbe0a6a94419133bc45255fb0187707;hpb=6c146035564b39f54a3c919135f179cec349c284;p=helm.git

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index 10e9c55dc..ccd9119a3 100644
--- 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 {
@@ -109,6 +116,13 @@ netplex {
             handler = "commit";
           }
         };
+        uri {
+          path = "/update";
+          service {
+            type = "dynamic";
+            handler = "update";
+          }
+        };
       };
     };
     workload_manager {
@@ -121,4 +135,3 @@ netplex {
   }
 }
 
-