JAL-3447 Minor improvement on file association creation

[jalview.git] / build.gradle

diff --git a/build.gradle b/build.gradle
index 87a5c69..a8315c2 100644 (file)
--- a/build.gradle
+++ b/build.gradle
@@ -56,10 +56,12 @@ ext {
       localPropsFIS.close()
       p.each {
         key, val -> 
-          def over = getProperty(key) != null
+          def oldval = findProperty(key)
           setProperty(key, val)
-          if (over) {
-            println("Overriding property '${key}' with local.properties value '${val}'")
+          if (oldval != null) {
+            println("Overriding property '${key}' ('${oldval}') with local.properties value '${val}'")
+          } else {
+            println("Setting unknown property '${key}' with local.properties value '${val}'")
           }
       }
     } catch (Exception e) {
@@ -208,11 +210,16 @@ ext {
     break
 
     default: // something wrong specified
-    print("CHANNEL must be one of BUILD, RELEASE, ARCHIVE, DEVELOP, TEST-RELEASE, SCRATCH-..., LOCAL [default]")
+    println("CHANNEL must be one of BUILD, RELEASE, ARCHIVE, DEVELOP, TEST-RELEASE, SCRATCH-..., LOCAL [default]")
     exit
     break
 
   }
+  // override getdown_app_base if requested
+  if (findProperty("getdown_appbase_override") != null) {
+    getdown_app_base = string(getProperty("getdown_appbase_override"))
+    println("Overriding getdown appbase with '${getdown_app_base}'")
+  }
 
   getdownAppDir = string("${getdownWebsiteDir}/${getdown_app_dir}")
   //getdownJ11libDir = "${getdownWebsiteDir}/${getdown_j11lib_dir}"