diff options
| author | Aleksander Morgado <aleksander@lanedo.com> | 2012-01-07 22:53:20 +0100 |
|---|---|---|
| committer | Aleksander Morgado <aleksander@lanedo.com> | 2012-03-15 14:14:46 +0100 |
| commit | d178fb1f09f3b28f664942424684f156b931269c (patch) | |
| tree | 9daf4d5e356f8c3bb2e36c43a06beea28fac6fb5 /docs/reference/api/version.xml.in | |
| parent | 4d19a66722e85e2e776092161b7d7515d295cafe (diff) | |
plugin-manager: fix loop of deferred tasks when no best plugin found
If deferring tasks until result suggested, and we never got a suggestion, the
tasks may have been left deferred in loop forever. We now remove the defer
timeout in the case of waiting for suggestion, and ensure that we cancel tasks
if the last valid probing ended without best plugin found.
Diffstat (limited to 'docs/reference/api/version.xml.in')
0 files changed, 0 insertions, 0 deletions