diff options
author | Tobias Kellner <tobias.kellner@iaik.tugraz.at> | 2015-10-20 17:26:18 +0200 |
---|---|---|
committer | Tobias Kellner <tobias.kellner@iaik.tugraz.at> | 2015-10-20 18:04:11 +0200 |
commit | c2b94e353bc398d847e25c28ff2210cbc59b6cbe (patch) | |
tree | 1feb05a6fec3caefc1e0d3561c6e994caef19e30 /BKUWebStart/src/main/java/JettyTempCleaner.java | |
parent | 300c3452d7e93cd42c0626310790a6df7c81b846 (diff) | |
download | mocca-c2b94e353bc398d847e25c28ff2210cbc59b6cbe.tar.gz mocca-c2b94e353bc398d847e25c28ff2210cbc59b6cbe.tar.bz2 mocca-c2b94e353bc398d847e25c28ff2210cbc59b6cbe.zip |
Move JettyTempCleaner to own module, create signed jar
Diffstat (limited to 'BKUWebStart/src/main/java/JettyTempCleaner.java')
-rw-r--r-- | BKUWebStart/src/main/java/JettyTempCleaner.java | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/BKUWebStart/src/main/java/JettyTempCleaner.java b/BKUWebStart/src/main/java/JettyTempCleaner.java deleted file mode 100644 index 67854ecb..00000000 --- a/BKUWebStart/src/main/java/JettyTempCleaner.java +++ /dev/null @@ -1,57 +0,0 @@ -import java.io.File; -import java.util.Timer; -import java.util.TimerTask; - -public class JettyTempCleaner extends TimerTask { - - private static final long CLEAN_INTERVAL = 60000; // 1 minute - - private File tmpDir; - - public JettyTempCleaner(File tmpDir) { - this.tmpDir = tmpDir; - } - - private static boolean deleteRecursive(File f) { - if (f.isDirectory()) { - String[] children = f.list(); - for (String child : children) { - if (!deleteRecursive(new File(f, child))) - return false; - } - } - return f.delete(); - } - - private static void clean(File tmpDir) { - System.out.println("Trying to remove " + tmpDir); - if (deleteRecursive(tmpDir)) { - System.out.println("Successfully removed temporary directory"); - System.exit(0); - } - } - - private void schedule() { - System.out.println("Scheduling cleaner for directory " + tmpDir); - Timer t = new Timer(); - t.scheduleAtFixedRate(this, 1000, CLEAN_INTERVAL); - } - - @Override - public void run() { - clean(tmpDir); - } - - public static void main(String[] args) { - if (args.length != 1) - System.exit(1); - File tmpDir = new File(args[0]); - if (!tmpDir.exists()) - { - System.err.println("Directory " + args[0] + " doesn't exist"); - System.exit(2); - } - JettyTempCleaner cleaner = new JettyTempCleaner(tmpDir); - cleaner.schedule(); - } -} |