diff options
Diffstat (limited to 'scripts/Util.py')
| -rw-r--r-- | scripts/Util.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/Util.py b/scripts/Util.py index 2251db283bf..e918d258872 100644 --- a/scripts/Util.py +++ b/scripts/Util.py @@ -1090,8 +1090,8 @@ class Server(IceProcess): if not self.quiet and not current.driver.isWorkerThread(): self.process.trace(self.outfilters) - def stop(self, current, waitSuccess=False): - IceProcess.stop(self, current, waitSuccess and self.waitForShutdown) + def stop(self, current, waitSuccess=False, exitstatus=0, watchDog=None): + IceProcess.stop(self, current, waitSuccess and self.waitForShutdown, exitstatus, watchDog) # # An Ice client process. |