diff options
| author | Benoit Foucher <benoit@zeroc.com> | 2018-02-14 10:33:04 +0100 |
|---|---|---|
| committer | Benoit Foucher <benoit@zeroc.com> | 2018-02-14 10:33:21 +0100 |
| commit | 387e3f474c08ed49bc8a4b1157f3082a4ca7c640 (patch) | |
| tree | cd8f77b2ba37cbfc2552e1781ad444bf87031096 /scripts/IceGridUtil.py | |
| parent | Fix ICE-8666 - IceGridGUI Java 9 NPE (diff) | |
| download | ice-387e3f474c08ed49bc8a4b1157f3082a4ca7c640.tar.bz2 ice-387e3f474c08ed49bc8a4b1157f3082a4ca7c640.tar.xz ice-387e3f474c08ed49bc8a4b1157f3082a4ca7c640.zip | |
Added tracing for IceLocatorDiscovery (ICE-8072)
Diffstat (limited to 'scripts/IceGridUtil.py')
| -rw-r--r-- | scripts/IceGridUtil.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/IceGridUtil.py b/scripts/IceGridUtil.py index 036164c4158..38b7184821e 100644 --- a/scripts/IceGridUtil.py +++ b/scripts/IceGridUtil.py @@ -75,6 +75,7 @@ class IceGridNode(ProcessFromBinDir, Server): os.mkdir(self.dbdir) def teardown(self, current, success): + Server.teardown(self, current, success) # Remove the database directory tree try: shutil.rmtree(self.dbdir) @@ -129,6 +130,7 @@ class IceGridRegistry(ProcessFromBinDir, Server): os.mkdir(self.dbdir) def teardown(self, current, success): + Server.teardown(self, current, success) # Remove the database directory tree try: shutil.rmtree(self.dbdir) |