From e0f5d10dd0699c41ef307df749b95656d80ddfa4 Mon Sep 17 00:00:00 2001
From: mk <mirko.alic@iohk.io>
Date: Fri, 2 Oct 2020 14:34:01 -0300
Subject: [PATCH] [ETCM-187] Fix override configuration properties via CLI args
 for faucet launcher

---
 src/universal/bin/faucet-server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/universal/bin/faucet-server b/src/universal/bin/faucet-server
index 014262875d..450bc3b50c 100755
--- a/src/universal/bin/faucet-server
+++ b/src/universal/bin/faucet-server
@@ -2,4 +2,4 @@
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 cd $DIR/..
-./bin/mantis -Dconfig.file=./conf/faucet.conf -- faucet "$@"
+./bin/mantis -Dconfig.file=./conf/faucet.conf "$@" -- faucet