Merge branch 'master' into development

publish/last.published

@@ -1 +1 @@
-9.12.1
+9.12.2

publish/publish.sh

@@ -53,11 +53,13 @@ echo "[START]";
 if [ ! -z "${GITEA_UPLOAD_FILENAME}" ] &&
      [ ! -z "${GITEA_URL_DL}" ] && [ ! -z "${GITEA_URL_PUSH}" ] &&
      [ ! -z "${GITEA_USER}" ] && [ ! -z "${GITEA_TOKEN}" ]; then
-     curl -LJO \
-          --output-dir "${PACKAGE_DOWNLOAD}" \
-          ${GITEA_URL_DL}/v${VERSION}.zip;
-     if [ -f "${PACKAGE_DOWNLOAD}${GITEA_UPLOAD_FILENAME}-v${VERSION}.zip" ]; then
-          print "Version file does not exist for ${VERSION}";
+     if [ ! -f "${PACKAGE_DOWNLOAD}${GITEA_UPLOAD_FILENAME}-v${VERSION}.zip" ]; then
+          curl -LJO \
+               --output-dir "${PACKAGE_DOWNLOAD}" \
+               ${GITEA_URL_DL}/v${VERSION}.zip;
+     fi;
+     if [ ! -f "${PACKAGE_DOWNLOAD}${GITEA_UPLOAD_FILENAME}-v${VERSION}.zip" ]; then
+          echo "Version file does not exist for ${VERSION}";
      else
           curl --user ${GITEA_USER}:${GITEA_TOKEN} \
                --upload-file "${PACKAGE_DOWNLOAD}${GITEA_UPLOAD_FILENAME}-v${VERSION}.zip" \