From 006e7a81ff34559cab245a4e6ade0d542c1d7d44 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@threerings.net>
Date: Wed, 28 Jul 2004 07:45:44 +0000
Subject: [PATCH] This one was my oversight, but we'll play it safe anyway.

---
 src/java/com/threerings/getdown/launcher/Getdown.java | 3 ++-
 src/java/com/threerings/getdown/tools/Patcher.java    | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/java/com/threerings/getdown/launcher/Getdown.java b/src/java/com/threerings/getdown/launcher/Getdown.java
index 330ae5a..7b8fa3a 100644
--- a/src/java/com/threerings/getdown/launcher/Getdown.java
+++ b/src/java/com/threerings/getdown/launcher/Getdown.java
@@ -1,5 +1,5 @@
 //
-// $Id: Getdown.java,v 1.19 2004/07/26 23:27:46 mdb Exp $
+// $Id: Getdown.java,v 1.20 2004/07/28 07:45:44 mdb Exp $
 
 package com.threerings.getdown.launcher;
 
@@ -161,6 +161,7 @@ public class Getdown extends Thread
             // lastly clean up the patch file
             if (!patch.getLocal().delete()) {
                 Log.warning("Failed to delete '" + patch + "'.");
+                patch.getLocal().deleteOnExit();
             }
         }
         // if the patch resource is null, that means something was booched
diff --git a/src/java/com/threerings/getdown/tools/Patcher.java b/src/java/com/threerings/getdown/tools/Patcher.java
index f60918c..096ab1a 100644
--- a/src/java/com/threerings/getdown/tools/Patcher.java
+++ b/src/java/com/threerings/getdown/tools/Patcher.java
@@ -1,5 +1,5 @@
 //
-// $Id: Patcher.java,v 1.3 2004/07/28 07:38:25 mdb Exp $
+// $Id: Patcher.java,v 1.4 2004/07/28 07:45:44 mdb Exp $
 
 package com.threerings.getdown.tools;
 
@@ -78,6 +78,7 @@ public class Patcher
             // note that we've completed this entry
             _complete += elength;
         }
+        file.close();
     }
 
     protected String strip (String path, String suffix)