diff options
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) |