From 194d8b4f35feedab24a02ed82bb60f362855d715 Mon Sep 17 00:00:00 2001
From: Johannes Kiesel <johannes.kiesel@uni-weimar.de>
Date: Fri, 8 Nov 2019 10:11:08 +0100
Subject: [PATCH] clarified credentials

---
 tools/util/mturk-manager-frontend.sh | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/tools/util/mturk-manager-frontend.sh b/tools/util/mturk-manager-frontend.sh
index 929bc56..1d42abb 100755
--- a/tools/util/mturk-manager-frontend.sh
+++ b/tools/util/mturk-manager-frontend.sh
@@ -45,9 +45,11 @@ eval set -- "${FLAGS_ARGV}"
 #
 main() {
   logInfo "Starting the MTurk Manager frontend ($image:$FLAGS_tag) at port $FLAGS_port"
-  logInfo "Log in at http://localhost:8080"
-  logInfo "URL: https://mturk-manager.webis.de/"
-  logInfo "Token: <ask in Discord>"
+  echo "Log in at http://localhost:8080"
+  echo ""
+  echo "Credentials:"
+  echo "URL: https://mturk-manager.webis.de/"
+  echo "Token: <ask in Discord>"
   if groups | grep &>/dev/null '\bdocker\b'; then
     docker run -p $FLAGS_port:$internal_port $image:$FLAGS_tag
   else
-- 
GitLab