diff options
author | Aldo Cortesi <aldo@corte.si> | 2016-12-08 10:45:23 +1300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-08 10:45:23 +1300 |
commit | 0a68613c8cb4ea96e291b35061c378fbf3ed1f18 (patch) | |
tree | 0552610c1e33707bca30630dff58a9784791c4c8 /mitmproxy/tools/web/master.py | |
parent | 4771abf2291947d580858c7fe58e25dbf0850abd (diff) | |
parent | b2695dbc6a170cb21771b001059efa7dc5201722 (diff) | |
download | mitmproxy-0a68613c8cb4ea96e291b35061c378fbf3ed1f18.tar.gz mitmproxy-0a68613c8cb4ea96e291b35061c378fbf3ed1f18.tar.bz2 mitmproxy-0a68613c8cb4ea96e291b35061c378fbf3ed1f18.zip |
Merge pull request #1806 from cortesi/options
Options
Diffstat (limited to 'mitmproxy/tools/web/master.py')
-rw-r--r-- | mitmproxy/tools/web/master.py | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/mitmproxy/tools/web/master.py b/mitmproxy/tools/web/master.py index 89ad698d..edb12467 100644 --- a/mitmproxy/tools/web/master.py +++ b/mitmproxy/tools/web/master.py @@ -1,5 +1,4 @@ import webbrowser -from typing import Optional, IO import tornado.httpserver import tornado.ioloop @@ -7,7 +6,6 @@ from mitmproxy import addons from mitmproxy import exceptions from mitmproxy import log from mitmproxy import master -from mitmproxy import options from mitmproxy.addons import eventstore from mitmproxy.addons import intercept from mitmproxy.addons import termlog @@ -15,27 +13,6 @@ from mitmproxy.addons import view from mitmproxy.tools.web import app -class Options(options.Options): - def __init__( - self, - *, # all args are keyword-only. - intercept: Optional[str] = None, - tfile: Optional[IO[str]] = None, - open_browser: bool = True, - wdebug: bool = False, - wport: int = 8081, - wiface: str = "127.0.0.1", - **kwargs - ) -> None: - self.intercept = intercept - self.tfile = tfile - self.open_browser = open_browser - self.wdebug = wdebug - self.wport = wport - self.wiface = wiface - super().__init__(**kwargs) - - class WebMaster(master.Master): def __init__(self, options, server): super().__init__(options, server) |