diff --git a/tools/scripts/failure-event-handler b/tools/scripts/failure-event-handler new file mode 100755 index 0000000000..7f4c43bd8d --- /dev/null +++ b/tools/scripts/failure-event-handler @@ -0,0 +1,24 @@ +#!/usr/bin/env python +import sys +import os + +def write_stdout(s): + sys.stdout.write(s) + sys.stdout.flush() + +def write_stderr(s): + sys.stderr.write(s) + sys.stderr.flush() + +def main(): + while 1: + write_stdout('READY\n') + line = sys.stdin.readline() + headers = dict([ x.split(':') for x in line.split() ]) + headers.update(dict([ x.split(':') for x in sys.stdin.read(int(headers['len'])).split()])) + if headers['eventname'] == 'PROCESS_STATE_FATAL': + os.kill(os.getppid(), signal.SIGTERM) + write_stdout('RESULT 2\nOK') + +if __name__ == "__main__": + main()