diff options
author | Aldo Cortesi <aldo@corte.si> | 2016-07-17 18:49:41 +1200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-17 18:49:41 +1200 |
commit | 6c86d7bd4f7059ac0b9ae8a3b4e2793aa9dcdb1c (patch) | |
tree | 3effb609e5e6ab69fa4aedba37a02a2a7015ec6f /mitmproxy/console/options.py | |
parent | 61d6345f2201a2727ee30bfc4eb57e6479e04c04 (diff) | |
parent | 216e38d437ab30cca30e33f2858c0f886bde0e9c (diff) | |
download | mitmproxy-6c86d7bd4f7059ac0b9ae8a3b4e2793aa9dcdb1c.tar.gz mitmproxy-6c86d7bd4f7059ac0b9ae8a3b4e2793aa9dcdb1c.tar.bz2 mitmproxy-6c86d7bd4f7059ac0b9ae8a3b4e2793aa9dcdb1c.zip |
Merge pull request #1372 from cortesi/setheaders
setheaders -> addon
Diffstat (limited to 'mitmproxy/console/options.py')
-rw-r--r-- | mitmproxy/console/options.py | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/mitmproxy/console/options.py b/mitmproxy/console/options.py index f0cc4ef5..afb9186d 100644 --- a/mitmproxy/console/options.py +++ b/mitmproxy/console/options.py @@ -36,7 +36,7 @@ class Options(urwid.WidgetWrap): select.Option( "Header Set Patterns", "H", - lambda: master.setheaders.count(), + lambda: len(master.options.setheaders), self.setheaders ), select.Option( @@ -156,7 +156,6 @@ class Options(urwid.WidgetWrap): self.master.showhost = False self.master.refresh_server_playback = True self.master.server.config.no_upstream_cert = False - self.master.setheaders.clear() self.master.set_ignore_filter([]) self.master.set_tcp_filter([]) @@ -165,6 +164,7 @@ class Options(urwid.WidgetWrap): anticomp = False, replacements = [], scripts = [], + setheaders = [], stickyauth = None, stickycookie = None ) @@ -197,13 +197,12 @@ class Options(urwid.WidgetWrap): signals.update_settings.send(self) def setheaders(self): - def _set(*args, **kwargs): - self.master.setheaders.set(*args, **kwargs) - signals.update_settings.send(self) + def _set(shdrs): + self.master.options.setheaders = shdrs self.master.view_grideditor( grideditor.SetHeadersEditor( self.master, - self.master.setheaders.get_specs(), + self.master.options.setheaders, _set ) ) @@ -211,7 +210,6 @@ class Options(urwid.WidgetWrap): def ignorepatterns(self): def _set(ignore): self.master.set_ignore_filter(ignore) - signals.update_settings.send(self) self.master.view_grideditor( grideditor.HostPatternEditor( self.master, |