diff options
author | Roald de Vries <rdevries@thoughtworks.com> | 2016-09-15 14:30:41 +0200 |
---|---|---|
committer | Roald de Vries <rdevries@thoughtworks.com> | 2016-09-21 14:43:32 +0200 |
commit | 553c228924f1c9d2524765d46ec326e6f5eae082 (patch) | |
tree | 7d857dfe30d1620edc2c4f33caf5847ad5ad041c /service/pixelated/config | |
parent | fc4fe7f3efc69a04a7cd11d2a8ec98a68ec76e4d (diff) |
add manhole option to user agent
Diffstat (limited to 'service/pixelated/config')
-rw-r--r-- | service/pixelated/config/arguments.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/service/pixelated/config/arguments.py b/service/pixelated/config/arguments.py index b6b3ce43..b5f2101a 100644 --- a/service/pixelated/config/arguments.py +++ b/service/pixelated/config/arguments.py @@ -30,6 +30,7 @@ def parse_user_agent_args(): parser.add_argument('--multi-user', help='Run user agent in multi user mode', action='store_false', default=True, dest='single_user') parser.add_argument('-p', '--provider', help='specify a provider for mutli-user mode', metavar='<provider host>', default=None, dest='provider') parser.add_argument('--banner', help='banner file to show on login screen') + parser.add_argument('--manhole', help='Run an interactive Python shell on port 8008', action='store_true', default=False, dest='manhole') args = parser.parse_args() |