# HG changeset patch
# User wenzelm
# Date 1488470898 -3600
# Node ID fc8bb68a74399ea7b5e285bb54d30eaddb6d6724
# Parent  1d219d76873b936b9ccafeea764881d4c724d7ee
more robust: tmp files might get deleted concurrently in ML vs. Scala process;

diff -r 1d219d76873b -r fc8bb68a7439 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Thu Mar 02 16:46:22 2017 +0100
+++ b/src/Pure/System/isabelle_system.scala	Thu Mar 02 17:08:18 2017 +0100
@@ -209,14 +209,14 @@
         new SimpleFileVisitor[JPath] {
           override def visitFile(file: JPath, attrs: BasicFileAttributes): FileVisitResult =
           {
-            Files.delete(file)
+            Files.deleteIfExists(file)
             FileVisitResult.CONTINUE
           }
 
           override def postVisitDirectory(dir: JPath, e: IOException): FileVisitResult =
           {
             if (e == null) {
-              Files.delete(dir)
+              Files.deleteIfExists(dir)
               FileVisitResult.CONTINUE
             }
             else throw e