Small fix to the TaskManager.progress
Small fix to the TaskManager.progress


Former-commit-id: e7524d6a20063b2e30173bd6e095a1b18b887727
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine