signal handler
(self, signalnum, stackframe)
| 102 | os.kill(os.getpid(), signal.SIGUSR1) |
| 103 | |
| 104 | def signal_handler(self, signalnum, stackframe): |
| 105 | """ signal handler """ |
| 106 | for pid in self.children_pids: |
| 107 | os.kill(pid, signal.SIGINT) # kill children processes |
| 108 | (rank, original_trace) = self.error_queue.get() |
| 109 | msg = """\n\n-- Tracebacks above this line can probably |
| 110 | be ignored --\n\n""" |
| 111 | msg += original_trace |
| 112 | raise Exception(msg) |
| 113 | |
| 114 | |
| 115 | class Running(object): |