def mark_process_dead(pid, path=None):
if path is None:<EOL><INDENT>path = os.environ.get('<STR_LIT>')<EOL><DEDENT>for f in glob.glob(os.path.join(path, '<STR_LIT>'.format(pid))):<EOL><INDENT>os.remove(f)<EOL><DEDENT>for f in glob.glob(os.path.join(path, '<STR_LIT>'.format(pid))):<EOL><INDENT>os.remove(f)<EOL><DEDENT>
Do bookkeeping for when one process dies in a multi-process setup.