diff -r b7a195d54fd4 -r 3ed48646f354 web/webconfig.py
--- a/web/webconfig.py	Tue Jan 03 17:00:43 2012 +0100
+++ b/web/webconfig.py	Tue Jan 03 17:59:31 2012 +0100
@@ -115,6 +115,16 @@
           'where the cubicweb web server is listening on port 8080.',
           'group': 'main', 'level': 3,
           }),
+        ('https-deny-anonymous',
+         {'type': 'string',
+          'default': False,
+          'help': 'Prevent anonymous user to browse thought https version of '
+                  'the site (https-url). Login form will then be displayed '
+                  'until logged',
+          'group': 'web',
+          'level': 2
+         }
+          ),
         ('auth-mode',
          {'type' : 'choice',
           'choices' : ('cookie', 'http'),