diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tasks.py | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/tools/tasks.py b/tools/tasks.py index 18f4d712..4e03f85e 100644 --- a/tools/tasks.py +++ b/tools/tasks.py @@ -117,11 +117,8 @@ def run_task(cmd, logger, msg=None, check_error=False): def update_pids(pid): """update list of running pids, so they can be terminated at the end """ - try: - pids = settings.getValue('_EXECUTED_PIDS') - pids.append(pid) - except AttributeError: - pids = [pid] + pids = settings.getValue('_EXECUTED_PIDS') + pids.append(pid) settings.setValue('_EXECUTED_PIDS', pids) def run_background_task(cmd, logger, msg): |