Multi-user Matita (and Matitaweb): added user authentication (currently only

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

diff --git a/matitaB/matita/netplex.conf b/matitaB/matita/netplex.conf
index d7d403be9f9949cca5077d747a205285ffc9b980..a42f4c35940b1b091128e5e8d194a5cc2f569933 100644 (file)
--- a/matitaB/matita/netplex.conf
+++ b/matitaB/matita/netplex.conf
@@ -60,6 +60,13 @@ netplex {
             handler = "bottom";
           }
         };
+        uri {
+          path = "/login";
+          service {
+            type = "dynamic";
+            handler = "login";
+          }
+        };
       };
     };
     workload_manager {