Turn SIGTERM into SIGINT
Turn SIGTERM into SIGINT


Former-commit-id: 5c15b0c9a99aeae7808437e6a2df10289db74bba [formerly e7e6b723684cb5514e346826c9ebdd0923975957] [formerly e7e6b723684cb5514e346826c9ebdd0923975957 [formerly 733cf83183a7de9f0a805402a1ddf7f125c53015]]
Former-commit-id: 5e3604540abe93285d42dfe87d67465cd969d1a7
Former-commit-id: 024ec876240de6511c33911f27fba72dfc3177c9
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine