From e8a974af046e0ee231b09743c4299c89d3a95d87 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Wed, 13 Nov 2019 17:10:31 +0000
Subject: [PATCH] JAL-3210 Possibly fixed eclipse_workspace_location
 disappearances, again

---
 build.gradle |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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()
-- 
1.7.10.2