From 3c474aa16387d79121a2e0620afb6aa0cd0278ff Mon Sep 17 00:00:00 2001 From: Seth Schoen Date: Fri, 10 Aug 2012 18:45:16 -0700 Subject: [PATCH] merged into client.py --- client-webserver/menu.py | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 client-webserver/menu.py diff --git a/client-webserver/menu.py b/client-webserver/menu.py deleted file mode 100644 index c2abc068d..000000000 --- a/client-webserver/menu.py +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env python - -import dialog, getopt, sys - -def filter_names(names): - d = dialog.Dialog() - choices = [(n, "", 1) for n in names] - result = d.checklist("Which names would you like to activate HTTPS for?", choices=choices) - if result[0] != 0 or not result[1]: - sys.exit(1) - return result[1] - -def by_default(): - d = dialog.Dialog() - choices = [("Easy", "Allow both HTTP and HTTPS access to these sites"), ("Secure", "Make all requests redirect to secure HTTPS access")] - result = d.menu("Please choose whether HTTPS access is required or optional.", width=70, choices=choices) - if result[0] != 0: - sys.exit(1) - return result[1] == "Secure"