A small improvement to the .monitor decorator
A small improvement to the .monitor decorator


Former-commit-id: c988b48c6972858ea96ab9fbe9da752ab35e5152 [formerly b1f9d0067290c0d8260021e2a8ab4e2a0a70953a]
Former-commit-id: fca94c8a393f5cc403849df1dbd8fdb865777b11
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine