diff options
author | mkersten <mkersten> | 2004-03-30 16:22:11 +0000 |
---|---|---|
committer | mkersten <mkersten> | 2004-03-30 16:22:11 +0000 |
commit | f114f42d16a86d034960f9bc2107bdd093c1d29e (patch) | |
tree | 08f950297f8cde7d827cfd28c6681ef9bf8ecd23 /ajdoc/src | |
parent | 4c584fc666f309dd1bf023ce033008a1796de89c (diff) | |
download | aspectj-f114f42d16a86d034960f9bc2107bdd093c1d29e.tar.gz aspectj-f114f42d16a86d034960f9bc2107bdd093c1d29e.zip |
Added removal of temporary files
Diffstat (limited to 'ajdoc/src')
-rw-r--r-- | ajdoc/src/org/aspectj/tools/ajdoc/Main.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java index 706b9c9be..0e8b3f06d 100644 --- a/ajdoc/src/org/aspectj/tools/ajdoc/Main.java +++ b/ajdoc/src/org/aspectj/tools/ajdoc/Main.java @@ -93,7 +93,7 @@ public class Main implements Config { if ( !(new File( Config.WORKING_DIR ).isDirectory()) ) { File dir = new File( Config.WORKING_DIR ); dir.mkdir(); -// dir.deleteOnExit(); + dir.deleteOnExit(); } for (int i = 0; i < filenames.size(); i++) { @@ -302,7 +302,7 @@ public class Main implements Config { File packageDir = new File(pathName); if ( !packageDir.exists() ) { packageDir.mkdirs(); - //packageDir.deleteOnExit(); + packageDir.deleteOnExit(); } //verifyPackageDirExists(packageName, null); packageName = packageName.replace( '.','/' ); // !!! @@ -313,7 +313,7 @@ public class Main implements Config { filename = Config.WORKING_DIR + Config.DIR_SEP_CHAR + inputFile.getName(); } File signatureFile = new File( filename ); - //signatureFile.deleteOnExit(); + signatureFile.deleteOnExit(); return signatureFile; } @@ -336,7 +336,7 @@ public class Main implements Config { File packageDir = new File( filePath ); if ( !packageDir.exists() ) { packageDir.mkdir(); -// packageDir.deleteOnExit(); + packageDir.deleteOnExit(); } if ( remainingPkg != "" ) { verifyPackageDirExists( remainingPkg, currPkgDir ); @@ -353,7 +353,7 @@ public class Main implements Config { File packageDir = new File( filePath ); if ( !packageDir.exists() ) { packageDir.mkdir(); -// packageDir.deleteOnExit(); + packageDir.deleteOnExit(); } } } |