Searched refs:wait_or_terminate (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/tools/harness/
H A Dsubprocess_timeout.py16 def wait_or_terminate(p, timeout=5): function
/barrelfish-2018-10-04/tools/harness/machines/
H A Deth.py15 from subprocess_timeout import wait_or_terminate namespace
80 wait_or_terminate(self.lockprocess)

Completed in 84 milliseconds