summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2015-02-27 03:03:39 +0100
committerLinus Nordberg <linus@nordberg.se>2015-02-27 03:03:39 +0100
commitb5a2da0cdbeeb6ce7417553898c6739ee98e965a (patch)
treea5da35a7260a85edd6d8ea1f69b2a399ae15b75a
parent2803956ca1e4862d991e4112234b90c2cb79a36c (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.
-rwxr-xr-xexamples/docker-minimal/docker/merge.sh1
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