in submitit/local/local.py [0:0]
def kill_tasks(self) -> None:
# try and be progressive in deletion...
for sig in [signal.SIGINT, signal.SIGKILL]:
self._forward_signal(sig)
# if one is still alive after sigterm and sigint, try sigkill after 1s
if sig == signal.SIGINT and any(t.poll() is None for t in self.tasks):
time.sleep(0.001)
if any(t.poll() is None for t in self.tasks):
time.sleep(1.0) # wait a bit more
self.tasks = []
files = self.stdouts + self.stderrs
self.stdouts, self.stderrs = [], [] # remove all instance references
for f in files:
f.close()