From e813db05b7fd617d4781b8ad6f466e0671d2932f Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 11 Jun 2008 05:53:52 +0000
Subject: [PATCH] fix bug when there are no cookies at all

svn: r10215

original commit: f7b146d8a0d7857dab141f45d14f919f922871b7
---
 collects/scribble/scribble-common.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js
index 636aee43..832a7681 100644
--- a/collects/scribble/scribble-common.js
+++ b/collects/scribble/scribble-common.js
@@ -1,7 +1,7 @@
 // Common functionality for PLT documentation pages
 
 function GetCookie(key, def) {
-  if (document.cookie.length <= 0) return null;
+  if (document.cookie.length <= 0) return def;
   var cookiestrs = document.cookie.split(/; */);
   for (var i in cookiestrs) {
     var cur = cookiestrs[i];