priv/monitor.py (18 lines of code) (raw):

#!/usr/bin/env python3 import os import sys import time def main(): parent_pid = int(sys.argv[1]) target_pid = int(sys.argv[2]) while True: try: os.kill(parent_pid, 0) time.sleep(1.0) except OSError: try: os.kill(target_pid, 9) except: pass exit(0) if __name__ == "__main__": main()