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


Former-commit-id: 4394fde0a96aaffd3efb8005e5b9c31c40c6ed91 [formerly 4394fde0a96aaffd3efb8005e5b9c31c40c6ed91 [formerly e7524d6a20063b2e30173bd6e095a1b18b887727]]
Former-commit-id: e1ca16900d13933d4dfd911ba88691f7ef86de2a
Former-commit-id: 3d034a5f92be4f03013d2c2a45f8c614fe3c9709
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine