diff options
| author | Aldo Cortesi <aldo@corte.si> | 2018-05-08 10:56:00 +1200 |
|---|---|---|
| committer | Aldo Cortesi <aldo@corte.si> | 2018-05-08 10:56:00 +1200 |
| commit | f7d7e31f06dadcf0f7801ab1db055f8609c88a71 (patch) | |
| tree | 56aa748d814c00a594c8c46338d6e4abb1c9f629 /MANIFEST.in | |
| parent | 7ec9c5524f64bbceaf52b58696c8c9342a4887dd (diff) | |
| download | mitmproxy-f7d7e31f06dadcf0f7801ab1db055f8609c88a71.tar.gz mitmproxy-f7d7e31f06dadcf0f7801ab1db055f8609c88a71.tar.bz2 mitmproxy-f7d7e31f06dadcf0f7801ab1db055f8609c88a71.zip | |
options: add the concept of deferred settings
We've had a perpetual sequencing problem with addon startup. Users need to be
able to specify options to addons on the command-line, before addons are
actually loaded. This is only exacerbated with the new async core, where load
order can't be relied on.
This patch introduces deferred options. Options passed with "--set" on the
command line are deferred if they are unknown, and are automatically applied by
the addon manager once matching addons are registered and their options are defined.
Diffstat (limited to 'MANIFEST.in')
0 files changed, 0 insertions, 0 deletions