comparison sat/plugins/plugin_misc_download.py @ 3167:d0fb79f97466

quick frontends (app): added an "ignore_missing" argument to RemoveListener: normally an error is logged when removeListener is call on a inexisting listener, but sometimes listeners are added only in specific scenarios, and it may be handy to try to delete them without having to explictly check that they have been used.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:44:05 +0100
parents 9d0df638c8b4
children 84b0c8b4dee0
comparison
equal deleted inserted replaced
3166:122075ceaa53 3167:d0fb79f97466