diff options
| author | Aldo Cortesi <aldo@corte.si> | 2016-09-10 12:39:21 +1200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-10 12:39:21 +1200 |
| commit | 387e91f9a6deaad72231a91a0735638f52f06fca (patch) | |
| tree | 81d69f6f427f2921244cc06cee89797f1ff13f1a /mitmproxy/console/options.py | |
| parent | 01cdaf4133753297b2554819266752e3d501caff (diff) | |
| parent | 9b814ca067a81eed3c46bdffb7d3131b6ec26708 (diff) | |
| download | mitmproxy-387e91f9a6deaad72231a91a0735638f52f06fca.tar.gz mitmproxy-387e91f9a6deaad72231a91a0735638f52f06fca.tar.bz2 mitmproxy-387e91f9a6deaad72231a91a0735638f52f06fca.zip | |
Merge pull request #1548 from cortesi/opts
Make various replay-related options clearer
Diffstat (limited to 'mitmproxy/console/options.py')
| -rw-r--r-- | mitmproxy/console/options.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mitmproxy/console/options.py b/mitmproxy/console/options.py index f7fb2f90..1c59870b 100644 --- a/mitmproxy/console/options.py +++ b/mitmproxy/console/options.py @@ -114,7 +114,7 @@ class Options(urwid.WidgetWrap): select.Option( "Kill Extra", "x", - lambda: master.options.kill, + lambda: master.options.replay_kill_extra, master.options.toggler("kill") ), select.Option( @@ -165,7 +165,7 @@ class Options(urwid.WidgetWrap): anticomp = False, ignore_hosts = (), tcp_hosts = (), - kill = False, + replay_kill_extra = False, no_upstream_cert = False, refresh_server_playback = True, replacements = [], |