From 5a271187f32650a7c3f8a33f3f7d23ab31d5694c Mon Sep 17 00:00:00 2001
From: Florian Angerer <florian.angerer@oracle.com>
Date: Wed, 21 Jun 2017 17:49:14 +0200
Subject: [PATCH] Do not set name for source if created from file.
---
.../src/com/oracle/truffle/r/runtime/RSource.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RSource.java b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RSource.java
index 3e3baf9305..9ee4692f32 100644
--- a/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RSource.java
+++ b/com.oracle.truffle.r.runtime/src/com/oracle/truffle/r/runtime/RSource.java
@@ -164,7 +164,7 @@ public class RSource {
* Create an (external) source from the file system path {@code path}.
*/
public static Source fromFileName(String path, boolean internal) throws IOException {
- Source.Builder<IOException, RuntimeException, RuntimeException> builder = Source.newBuilder(new File(path)).name(path).mimeType(RRuntime.R_APP_MIME);
+ Source.Builder<IOException, RuntimeException, RuntimeException> builder = Source.newBuilder(new File(path)).mimeType(RRuntime.R_APP_MIME);
if (internal) {
builder.internal();
}
--
GitLab