From 64295ec40df409db908c6ccc7fe748b0c893c84f Mon Sep 17 00:00:00 2001
From: Cassio de Campos <cassiopc@gmail.com>
Date: Fri, 4 Aug 2017 12:13:06 +0100
Subject: option to give server address

---
 tools/boca-auth-runs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/boca-auth-runs b/tools/boca-auth-runs
index 821202f..0e1a866 100755
--- a/tools/boca-auth-runs
+++ b/tools/boca-auth-runs
@@ -10,9 +10,13 @@ if [ "$BOCASERVER" == "" ]; then
 fi
 user="$1"
 if [ "$user" == "" ]; then
-  echo "parameter user missing"
+  echo "parameter user missing. Usage: $0 <user> [<optional-server-address>]"
   exit 1
 fi
+if [ "$2" != "" ]; then
+    BOCASERVER=$2
+fi
+echo "Server at $BOCASERVER"
 read -s -p "Password: " pass
 
 for i in wget sha256sum cut; do
-- 
cgit v1.2.3