From e186bdee0f3184a24665caf41afbd9f365410900 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 23 Jul 2008 19:05:15 +0000
Subject: [PATCH] avoid potentially bad JS for...in

svn: r10883

original commit: 55f2387f931a4d52e5e012a357c5e5282fd4e362
---
 collects/scribble/scribble-common.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js
index 89b35492..bfd8711f 100644
--- a/collects/scribble/scribble-common.js
+++ b/collects/scribble/scribble-common.js
@@ -2,8 +2,8 @@
 
 function GetCookie(key, def) {
   if (document.cookie.length <= 0) return def;
-  var cookiestrs = document.cookie.split(/; */);
-  for (var i in cookiestrs) {
+  var i, cookiestrs = document.cookie.split(/; */);
+  for (i = 0; i < cookiestrs.length; i++) {
     var cur = cookiestrs[i];
     var eql = cur.indexOf('=');
     if (eql >= 0 && cur.substring(0,eql) == key)