From d4e2c1196c5e1a82dcc6cd7f5029bceae079fde3 Mon Sep 17 00:00:00 2001
From: Florian Angerer <florian.angerer@oracle.com>
Date: Tue, 12 Sep 2017 16:09:51 +0200
Subject: [PATCH] Do not report 'FileAlreadyExistsException'.
---
.../src/com/oracle/truffle/r/runtime/RDeparse.java | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RDeparse.java b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RDeparse.java
index b9c6f7c7cc..df26c320f6 100644
--- a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RDeparse.java
+++ b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RDeparse.java
@@ -16,6 +16,8 @@ import static java.nio.file.StandardOpenOption.WRITE;
import java.io.BufferedWriter;
import java.io.IOException;
+import java.nio.file.AccessDeniedException;
+import java.nio.file.FileAlreadyExistsException;
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
@@ -405,6 +407,8 @@ public class RDeparse {
s.element.setSourceSection(source.createSection(s.start, s.length));
}
}
+ } catch (AccessDeniedException | FileAlreadyExistsException e) {
+ fixupSourcesTextInternal();
} catch (IOException e) {
RInternalError.reportError(e);
fixupSourcesTextInternal();
--
GitLab