use enumerateKeys()
authoradam <adam@megacz.com>
Sat, 9 Sep 2006 02:45:34 +0000 (02:45 +0000)
committeradam <adam@megacz.com>
Sat, 9 Sep 2006 02:45:34 +0000 (02:45 +0000)
darcs-hash:20060909024534-5007d-5adf085ff29097199918a0f3e7ab114914f11b46.gz

src/org/ibex/net/HTTP.java

index 5cab19d..0bb9f38 100644 (file)
@@ -47,7 +47,7 @@ public class HTTP {
             private Hash h = new Hash();
             public String getCookieHeader(String domain, String path, boolean secure) {
                 StringBuffer ret = new StringBuffer("Cookie: ");
-                Enumeration e = h.keys();
+                Enumeration e = h.enumerateKeys();
                 while (e.hasMoreElements()) {
                     Vec v = (Vec)h.get(e.nextElement());
                     Cookie cookie = null;