Changed Handler.monitored_downloads from a dict to a set
commit91e1e3f74c7407c08eee0f750a1338cd2a78d93b
authorThomas Leonard <talex5@gmail.com>
Sun, 11 Dec 2011 16:48:42 +0000 (11 16:48 +0000)
committerThomas Leonard <talex5@gmail.com>
Sun, 11 Dec 2011 17:04:30 +0000 (11 17:04 +0000)
tree384b5345aadc9752b0fd559f1b7e5c74c2f27434
parentc20b0823371e9085497a37bc3f0c3b9b4e456437
Changed Handler.monitored_downloads from a dict to a set

The old system was intended to allow multiple callers to share a single
download. But that should never happen in practice because higher-level
code will handle it, and even if it does we need some per-caller information
(e.g. "hint").
zeroinstall/0launch-gui/gui.py
zeroinstall/0launch-gui/iface_browser.py
zeroinstall/0launch-gui/mainwindow.py
zeroinstall/injector/fetch.py
zeroinstall/injector/handler.py