diff options
| author | Linus Nordberg <linus@nordberg.se> | 2015-02-27 03:03:39 +0100 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2015-02-27 03:03:39 +0100 |
| commit | b5a2da0cdbeeb6ce7417553898c6739ee98e965a (patch) | |
| tree | a5da35a7260a85edd6d8ea1f69b2a399ae15b75a /tools/halt.py | |
| parent | 2803956ca1e4862d991e4112234b90c2cb79a36c (diff) | |
Remove mergedb before starting merge.
How bad is this idea if you ever want to restart merge without
starting the log from scratch? As long as the storage node doesn't
lose its data, I guess it's ok.
Diffstat (limited to 'tools/halt.py')
0 files changed, 0 insertions, 0 deletions