eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-04 06:09:17 +01:00
Code Issues Packages Projects Releases Wiki Activity

changes to copyFile() routine to make it faster and spew exceptions

Browse Source
This commit is contained in:
benfry
2004-01-19 19:12:49 +00:00
parent db4a853bb7
commit 3bc080241b
1 changed files with 37 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

55
app/PdeBase.java
View File

@@ -352,29 +352,48 @@ public class PdeBase {
}
static public void copyFile(File afile, File bfile) {
try {
FileInputStream from = new FileInputStream(afile);
FileOutputStream to = new FileOutputStream(bfile);
byte[] buffer = new byte[4096];
int bytesRead;
while ((bytesRead = from.read(buffer)) != -1) {
to.write(buffer, 0, bytesRead);
}
to.flush();
from.close(); // ??
from = null;
to.close(); // ??
to = null;
static public void copyFile(File afile, File bfile) throws IOException {
//try {
InputStream from = new BufferedInputStream(new FileInputStream(afile));
OutputStream to = new BufferedOutputStream(new FileOutputStream(bfile));
byte[] buffer = new byte[16 * 1024];
int bytesRead;
while ((bytesRead = from.read(buffer)) != -1) {
to.write(buffer, 0, bytesRead);
}
to.flush();
from.close(); // ??
from = null;
to.close(); // ??
to = null;
#ifdef JDK13
bfile.setLastModified(afile.lastModified()); // jdk13 required
bfile.setLastModified(afile.lastModified()); // jdk13+ required
#endif
} catch (IOException e) {
e.printStackTrace();
}
//} catch (IOException e) {
// e.printStackTrace();
//}
}
/**
* Spew the contents of a String object out to a file.
*/
static public void saveFile(String contents, File location)
throws IOException {
BufferedReader reader = new BufferedReader(new InputStreamReader(new ByteArrayInputStream(contents.getBytes())));
PrintWriter writer = new PrintWriter(new BufferedWriter(new FileWriter(location)));
String line = null;
while ((line = reader.readLine()) != null) {
writer.println(line);
}
writer.flush();
writer.close();
}
static public void copyDir(File sourceDir, File targetDir) {
String files[] = sourceDir.list();
for (int i = 0; i < files.length; i++) {