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 /examples | |
| 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 'examples')
| -rwxr-xr-x | examples/docker-minimal/docker/merge.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/docker-minimal/docker/merge.sh b/examples/docker-minimal/docker/merge.sh index 2457428..cf10ac1 100755 --- a/examples/docker-minimal/docker/merge.sh +++ b/examples/docker-minimal/docker/merge.sh @@ -1,5 +1,6 @@ #! /bin/sh +[ -d mergedb ] && rm -rf mergedb mkdir mergedb mkdir mergedb/chains touch mergedb/logorder |