Skip to content
Snippets Groups Projects
Commit d9276493 authored by Anian Bühler's avatar Anian Bühler
Browse files

changed "/" to File.separatorChar

parent f0d09e97
No related branches found
No related tags found
1 merge request!1Dev preferences
Hide whitespace changes
Inline Side-by-side
src/main/java/edu/mit/blocks/workspace/ContextMenu.java
+ 6
− 6
View file @ d9276493
...@@ -218,7 +218,7 @@ public class ContextMenu extends PopupMenu implements ActionListener { ...@@ -218,7 +218,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
try { try {
InputStream input = getClass().getResourceAsStream(cssResource); InputStream input = getClass().getResourceAsStream(cssResource);
if(input != null) { if(input != null) {
cssFile = new File(tempPath +"/"+ "_seitenformatierung.css"); cssFile = new File(tempPath +File.separatorChar+ "_seitenformatierung.css");
OutputStream out = new FileOutputStream(cssFile); OutputStream out = new FileOutputStream(cssFile);
int read; int read;
byte[] bytes = new byte[1024]; byte[] bytes = new byte[1024];
...@@ -241,7 +241,7 @@ public class ContextMenu extends PopupMenu implements ActionListener { ...@@ -241,7 +241,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
try { try {
InputStream input = getClass().getResourceAsStream(htmlResource); InputStream input = getClass().getResourceAsStream(htmlResource);
if(input != null) { if(input != null) {
htmlFile = new File(tempPath +"/"+ blockGenusName + ".html"); htmlFile = new File(tempPath +File.separatorChar+ blockGenusName + ".html");
OutputStream out = new FileOutputStream(htmlFile); OutputStream out = new FileOutputStream(htmlFile);
int read; int read;
byte[] bytes = new byte[1024]; byte[] bytes = new byte[1024];
...@@ -264,7 +264,7 @@ public class ContextMenu extends PopupMenu implements ActionListener { ...@@ -264,7 +264,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
try { try {
InputStream input = getClass().getResourceAsStream(logoResource); InputStream input = getClass().getResourceAsStream(logoResource);
if(input != null) { if(input != null) {
logoFile = new File(tempPath +"/_Logo_LGI_page.png"); logoFile = new File(tempPath +File.separatorChar+"_Logo_LGI_page.png");
OutputStream out = new FileOutputStream(logoFile); OutputStream out = new FileOutputStream(logoFile);
int read; int read;
byte[] bytes = new byte[10000]; byte[] bytes = new byte[10000];
...@@ -285,7 +285,7 @@ public class ContextMenu extends PopupMenu implements ActionListener { ...@@ -285,7 +285,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
try { try {
InputStream input = getClass().getResourceAsStream(imageResource); InputStream input = getClass().getResourceAsStream(imageResource);
if(input != null) { if(input != null) {
imageFile = new File(tempPath +"/"+ blockGenusName+".png"); imageFile = new File(tempPath +File.separatorChar+ blockGenusName+".png");
OutputStream out = new FileOutputStream(imageFile); OutputStream out = new FileOutputStream(imageFile);
int read; int read;
byte[] bytes = new byte[10000]; byte[] bytes = new byte[10000];
...@@ -306,7 +306,7 @@ public class ContextMenu extends PopupMenu implements ActionListener { ...@@ -306,7 +306,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
/* try { /* try {
InputStream input = getClass().getResourceAsStream(exampleResource); InputStream input = getClass().getResourceAsStream(exampleResource);
if(input != null) { if(input != null) {
exampleFile = new File(tempPath +"/"+ blockGenusName+"-beispiel.png"); exampleFile = new File(tempPath +File.separatorChar+ blockGenusName+"-beispiel.png");
OutputStream out = new FileOutputStream(exampleFile); OutputStream out = new FileOutputStream(exampleFile);
int read; int read;
byte[] bytes = new byte[10000]; byte[] bytes = new byte[10000];
...@@ -333,7 +333,7 @@ public class ContextMenu extends PopupMenu implements ActionListener { ...@@ -333,7 +333,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
while(!allFilesRead) { while(!allFilesRead) {
InputStream input = getClass().getResourceAsStream(example2Resource + exampleImageCounter + exampleFileType); InputStream input = getClass().getResourceAsStream(example2Resource + exampleImageCounter + exampleFileType);
if(input != null) { if(input != null) {
example2File = new File(tempPath +"/"+ blockGenusName+"-beispiel-"+exampleImageCounter+".png"); example2File = new File(tempPath +File.separatorChar+ blockGenusName+"-beispiel-"+exampleImageCounter+".png");
OutputStream out = new FileOutputStream(example2File); OutputStream out = new FileOutputStream(example2File);
int read; int read;
byte[] bytes = new byte[10000]; byte[] bytes = new byte[10000];
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment