# HG changeset patch # User Jeff Hammel # Date 1394176375 28800 # Node ID 3621afe99a7204ee726260a83302ea094649ed72 # Parent caf763fc1c7df2963f867baed5a40526c103721e STUB: wsgintegrate/main.py diff -r caf763fc1c7d -r 3621afe99a72 wsgintegrate/main.py --- a/wsgintegrate/main.py Thu Mar 06 22:52:25 2014 -0800 +++ b/wsgintegrate/main.py Thu Mar 06 23:12:55 2014 -0800 @@ -34,7 +34,7 @@ if len(servers) > 1: parser.add_option('-s', '--server', dest='server', choices=servers.keys(), default='wsgiref', - help="which WSGI server to use [Choices: {}]".format(', '.join(servers.keys()))) + help="which WSGI server to use [Choices: %s]" % ', '.join(servers.keys())) options, args = parser.parse_args(args) # check for single configuration file