From 9b883627a2966e1f48825a17a3c81ad234d9f414 Mon Sep 17 00:00:00 2001
From: Luca Lianas <luca.lianas@crs4.it>
Date: Fri, 17 Jan 2020 15:00:30 +0100
Subject: [PATCH] configure custom OMERO.server port

---
 60-default-web-config.sh | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/60-default-web-config.sh b/60-default-web-config.sh
index 07ab5ca5..e5a63c79 100755
--- a/60-default-web-config.sh
+++ b/60-default-web-config.sh
@@ -6,6 +6,15 @@ set -eu
 omero=/opt/omero/web/venv3/bin/omero
 
 OMEROHOST=${OMEROHOST:-}
+OMEROPORT=${OMEROPORT:-}
 if [ -n "$OMEROHOST" ]; then
-    $omero config set omero.web.server_list "[[\"$OMEROHOST\", 4064, \"omero\"]]"
+    if [ -n "$OMEROPORT" ]; then
+        $omero config set omero.web.server_list "[[\"$OMEROHOST\", \"$OMEROPORT\", \"omero\"]]"
+    else
+        $omero config set omero.web.server_list "[[\"$OMEROHOST\", 4064, \"omero\"]]"
+    fi
+else
+    if [-n "$OMEROPORT" ]; then
+        $omero config set omero.web.server_list "[[\"localhost\", \"$OMEROPORT\", \"omero\"]]"
+    fi
 fi