11932e89d5
in finalize after the first cntl-c is sent. If the signal delete function was called while the signal set was blocked (which is really most of the time in OMPI), the signal handler would be set to default and the event library sigset modified, but the signal would never be unblocked. Now we unblock the signal after reseting the handler... This commit was SVN r7623.