From 799339a67ba2460a517643562d74085c29d81b4f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Anian=20B=C3=BChler?=
<anian.buehler@reutlingen-university.de>
Date: Tue, 9 Nov 2021 17:10:27 +0100
Subject: [PATCH] minor changes
---
src/main/java/com/ardublock/ui/OpenblocksFrame.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/com/ardublock/ui/OpenblocksFrame.java b/src/main/java/com/ardublock/ui/OpenblocksFrame.java
index 8d06f09..3209492 100644
--- a/src/main/java/com/ardublock/ui/OpenblocksFrame.java
+++ b/src/main/java/com/ardublock/ui/OpenblocksFrame.java
@@ -1355,7 +1355,7 @@ public class OpenblocksFrame extends JFrame
if(inputCSource != null) {
int read;
byte[] bytes = new byte[1024];
- librarySourceFile = new File(libraryPath+File.pathSeparator+libraryName+".c");
+ librarySourceFile = new File(libraryPath+File.separatorChar+libraryName+".c");
OutputStream outSource = new FileOutputStream(librarySourceFile);
while ((read = inputSource.read(bytes)) != -1) {
outSource.write(bytes, 0, read);
--
GitLab