From 416fbce956c139b194e0a7847cc6a4af5e200dcf Mon Sep 17 00:00:00 2001
From: Olivier DOSSMANN <git@dossmann.net>
Date: Fri, 7 Jul 2017 16:05:54 +0200
Subject: [PATCH] [FIX] restore command: DUMP_DIR is empty while using
 "/f.dump"

---
 launch.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/launch.sh b/launch.sh
index 76aede0..c774941 100755
--- a/launch.sh
+++ b/launch.sh
@@ -256,6 +256,9 @@ test_restore() {
   DUMP_FILE=`basename $ARGS`
   info "Dump file found: ${DUMP_FILE}"
   DUMP_DIR="${ARGS%/*}"
+  if [ -z "$DUMP_DIR" ]; then
+    DUMP_DIR="/"
+  fi
 }
 
 psql() {