diff options
| author | Dwayne Boone <dwayne@zeroc.com> | 2007-08-16 09:53:38 -0230 |
|---|---|---|
| committer | Dwayne Boone <dwayne@zeroc.com> | 2007-08-16 09:53:38 -0230 |
| commit | eae03000d1ad739021f4b3816faf8eb250ee455e (patch) | |
| tree | 4fd73b95c27ef8499c3b35b2bdf4205cd077df2d /demoscript/Util.py | |
| parent | Merge branch 'master' of ssh://cvs.zeroc.com/home/git/ice (diff) | |
| download | ice-eae03000d1ad739021f4b3816faf8eb250ee455e.tar.bz2 ice-eae03000d1ad739021f4b3816faf8eb250ee455e.tar.xz ice-eae03000d1ad739021f4b3816faf8eb250ee455e.zip | |
http://bugzilla.zeroc.com/bugzilla/show_bug.cgi?id=2394
Diffstat (limited to 'demoscript/Util.py')
| -rw-r--r-- | demoscript/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 85e14b4cd98..6ad51faa61c 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -110,7 +110,7 @@ class spawn(pexpect.spawn): return self.exitstatus def cleanDbDir(path): - for filename in [ os.path.join(path, f) for f in os.listdir(path) if f != ".gitignore"]: + for filename in [ os.path.join(path, f) for f in os.listdir(path) if f != ".gitignore" and f != "DB_CONFIG"]: if os.path.isdir(filename): cleanDbDir(filename) try: |