From b5a2da0cdbeeb6ce7417553898c6739ee98e965a Mon Sep 17 00:00:00 2001
From: Linus Nordberg <linus@nordberg.se>
Date: Fri, 27 Feb 2015 03:03:39 +0100
Subject: 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.
---
 examples/docker-minimal/docker/merge.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'examples/docker-minimal')

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
-- 
cgit v1.1