allow symlinked local storage

larsrh · Jul 23, 2018 · 69b413c · 69b413c
1 parent 84b4f18
commit 69b413c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/modules/libisabelle/src/main/scala/Platform.scala b/modules/libisabelle/src/main/scala/Platform.scala
@@ -107,7 +107,8 @@ sealed abstract class Platform {
     withIsabelleVersion(localStorage.resolve("user"), version, true)
 
   private def acquireLock(): Option[FileLock] = {
-    Files.createDirectories(localStorage)
+    if (!Files.isDirectory(localStorage)) // https://github.com/larsrh/libisabelle/issues/71
+      Files.createDirectories(localStorage)
     FileChannel.open(lockFile, StandardOpenOption.CREATE, StandardOpenOption.WRITE).tryLock() match {
       case null =>
         logger.warn("lock could not be acquired")