From: Ben Soares <bsoares@dundee.ac.uk>
Date: Wed, 13 Nov 2019 17:10:31 +0000 (+0000)
Subject: JAL-3210 Possibly fixed eclipse_workspace_location disappearances, again
X-Git-Tag: Release_2_11_4_0~45^2~18^2~55
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e8a974af046e0ee231b09743c4299c89d3a95d87;p=jalview.git

JAL-3210 Possibly fixed eclipse_workspace_location disappearances, again
---

diff --git a/build.gradle b/build.gradle
index 2612fdb..21a4c81 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1421,16 +1421,17 @@ task jalviewjsSetEclipseWorkspace {
   def eclipseWsDir = propVal
   def props = new Properties()
 
+  def writeProps = true
   if (( eclipseWsDir == null || !file(eclipseWsDir).exists() ) && propsFile.exists()) {
     def ins = new FileInputStream(propsFileName)
     props.load(ins)
     ins.close()
     if (props.getProperty(propKey, null) != null) {
       eclipseWsDir = props.getProperty(propKey)
+      writeProps = false
     }
   }
 
-  def writeProps = false
   if (eclipseWsDir == null || !file(eclipseWsDir).exists()) {
     def tempDir = File.createTempDir()
     eclipseWsDir = tempDir.getAbsolutePath()