diff options
author | Marius van den Beek <m.vandenbeek@gmail.com> | 2018-11-05 16:53:19 +0100 |
---|---|---|
committer | Chris Dent <chris.dent@gmail.com> | 2018-11-05 15:53:19 +0000 |
commit | 3de6212181000cde5c1bc2e81e1f9f52722cc991 (patch) | |
tree | c3f3ce8b98bb94585191310bebdf52c02172a1f5 | |
parent | e5de73c3dfc174a06ec445d1da2d1abcc9511947 (diff) | |
download | paste-git-3de6212181000cde5c1bc2e81e1f9f52722cc991.tar.gz |
Don't delete dict item while iterating over same dict (#14)3.0.4
-rwxr-xr-x | paste/httpserver.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/paste/httpserver.py b/paste/httpserver.py index 8bacfbc..963285e 100755 --- a/paste/httpserver.py +++ b/paste/httpserver.py @@ -1355,7 +1355,7 @@ def server_runner(wsgi_app, global_conf, **kwargs): if name in kwargs: kwargs[name] = asbool(kwargs[name]) threadpool_options = {} - for name, value in kwargs.items(): + for name, value in list(kwargs.items()): if name.startswith('threadpool_') and name != 'threadpool_workers': threadpool_options[name[len('threadpool_'):]] = value del kwargs[name] |