def remove(self, process):
        """ remove an OS process from the running processes """
        try:
            self.running.remove(process)
        except __HOLE__:
            pass
dataset/ETHPy150Open benoitc/gaffer/gaffer/state.py/ProcessState.remove