From 82c5f79f27ee6433731bdff2ea1588eaade3ce09 Mon Sep 17 00:00:00 2001
From: Silvan Calarco <silvan.calarco@mambasoft.it>
Date: Wed, 18 Jun 2014 13:09:29 +0200
Subject: [PATCH] webbuild: allow modified autodist ports is
 AUTOPORT_PORT_REPOSITORY is set

---
 webbuild/webbuild-cgi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/webbuild/webbuild-cgi b/webbuild/webbuild-cgi
index 0a2c65c..b5b8657 100755
--- a/webbuild/webbuild-cgi
+++ b/webbuild/webbuild-cgi
@@ -1409,7 +1409,7 @@ if [ "$MAINTAINERMODE" != "true" ]; then
          echo -n "<br>"
       fi
       # automatic port
-      if [ ! "${AUTOPORT_DISABLE[$ENVIRONMENT]}" -a ! "${AUTOPORT_UPDATE[$ENVIRONMENT]}" ]; then
+      if [ "${AUTOPORT_PORT_REPOSITORY[$ENVIRONMENT]}" ]; then
          echo -n "Automatic port:"
          echo -n "<input type=button id=autoportnp value=\"port\" onclick="
          echo -n "p=getSelectedValueById('sendrepository');"