Logout (partial work) (multi-user matita)

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

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index a42f4c35940b1b091128e5e8d194a5cc2f569933..0728b01ca526a58bd542b73b580cd995d71e73db 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -12,7 +12,7 @@ netplex {
       name = "http";
       address {
         type = "internet";
-        bind = "0.0.0.0:9999";  (* Port 80 on all interfaces *)
+        bind = "0.0.0.0:9999";  (* Port 9999 on all interfaces *)
       };
     };
     processor {
@@ -67,6 +67,13 @@ netplex {
             handler = "login";
           }
         };
+        (* uri {
+          path = "/logout";
+          service {
+            type = "dynamic";
+            handler = "logout";
+          }
+        };*)
       };
     };
     workload_manager {