From f114f42d16a86d034960f9bc2107bdd093c1d29e Mon Sep 17 00:00:00 2001
From: mkersten <mkersten>
Date: Tue, 30 Mar 2004 16:22:11 +0000
Subject: [PATCH] Added removal of temporary files

---
 ajdoc/src/org/aspectj/tools/ajdoc/Main.java | 10 +++++-----
 1 file 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();
             }
         }
     }