diff options
| author | Magnus Ahltorp <map@kth.se> | 2017-07-26 00:33:15 +0200 |
|---|---|---|
| committer | Magnus Ahltorp <map@kth.se> | 2017-07-26 00:33:15 +0200 |
| commit | de7ddf3257b6217bc8c22d1ddfb402eb73a94384 (patch) | |
| tree | 1b684fb1c72ed97a999354751cd15e461968ddb6 /tools/mergetools.py | |
| parent | c730fa9a23b6d27e5361b7ef1c9b97970df0a60d (diff) | |
Remove erroneous 'filedb' db name from python merge
Diffstat (limited to 'tools/mergetools.py')
| -rw-r--r-- | tools/mergetools.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mergetools.py b/tools/mergetools.py index 62b11e4..95742dc 100644 --- a/tools/mergetools.py +++ b/tools/mergetools.py @@ -439,7 +439,7 @@ def parse_args(parser=None): return (args, config, localconfig) def perm(dbtype, path): - if dbtype == "filedb": + if dbtype == "fsdb": return FileDB(path) elif dbtype == "permdb": return PermDB(path) |