From 8b9946f7b7cac616e447d4022d3fad8801bcd011 Mon Sep 17 00:00:00 2001
From: megacz <megacz@xwt.org>
Date: Fri, 30 Jan 2004 07:44:23 +0000
Subject: [PATCH] 2004/01/13 10:42:08

darcs-hash:20040130074423-2ba56-4bd7eeaa62a02070d29602d9b7271270e83c1bd2.gz
---
 src/org/xwt/LocalStorage.java |   16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/org/xwt/LocalStorage.java b/src/org/xwt/LocalStorage.java
index 1cca63a..2f94fe8 100644
--- a/src/org/xwt/LocalStorage.java
+++ b/src/org/xwt/LocalStorage.java
@@ -13,18 +13,18 @@ public class LocalStorage {
 
     static String xwtDirName = System.getProperty("user.home") + java.io.File.separatorChar + ".xwt";
 
-    static File xwtDir = null;
-    static File cacheDir = null;
+    static java.io.File xwtDir = null;
+    static java.io.File cacheDir = null;
 
     static {
         try {
-            xwtDir = new File(xwtDirName);
+            xwtDir = new java.io.File(xwtDirName);
             if (!xwtDir.mkdirs()) xwtDir = null;
         } catch (Exception e) {
             Log.info(LocalStorage.class, "unable to create xwt directory " + xwtDirName);
         }
         try {
-            cacheDir = new File(xwtDirName + java.io.File.separatorChar + "cache");
+            cacheDir = new java.io.File(xwtDirName + java.io.File.separatorChar + "cache");
             if (!cacheDir.mkdirs()) cacheDir = null;
         } catch (Exception e) {
             Log.info(LocalStorage.class, "unable to create cache directory " + xwtDirName + java.io.File.separatorChar + "cache");
@@ -35,11 +35,11 @@ public class LocalStorage {
     // FEATURE: we ought to be able to do stuff like sha1-checking and date checking on cached resources    
     public static class Cache {
 
-        private static void delTree(File f) throws IOException {
+        private static void delTree(java.io.File f) throws IOException {
             if (f.isDirectory()) {
                 String[] s = f.list();
                 for(int i=0; i<s.length; i++)
-                    delTree(new File(f.getPath() + File.separatorChar + s[i]));
+                    delTree(new java.io.File(f.getPath() + java.io.File.separatorChar + s[i]));
             }
             f.delete();
         }
@@ -49,9 +49,9 @@ public class LocalStorage {
             cacheDir.mkdirs();
         }
 
-        public static File getCacheFileForKey(String key) {
+        public static java.io.File getCacheFileForKey(String key) {
             // FEATURE: be smarter here
-            return new File(cacheDir.getPath() + File.separatorChar + new String(Base64.encode(key.getBytes())));
+            return new java.io.File(cacheDir.getPath() + File.separatorChar + new String(Base64.encode(key.getBytes())));
         }
 
     }
-- 
1.7.10.4