From c6414cea397585916b95d651e7d2bf6ef6cd845f Mon Sep 17 00:00:00 2001
From: "sspitzer%netscape.com" <sspitzer%netscape.com>
Date: Fri, 28 Jan 2000 10:19:12 +0000
Subject: [PATCH] add a dump to convince ben that getProfileList is working
 again.

---
 profile/resources/content/profileSelection.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/profile/resources/content/profileSelection.js b/profile/resources/content/profileSelection.js
index b145b0c766c3..ceb7c0e61f06 100644
--- a/profile/resources/content/profileSelection.js
+++ b/profile/resources/content/profileSelection.js
@@ -100,6 +100,8 @@ function loadElements()
       currProfile = profileList;
   }
 
+  dump("profile list = " + profileList + "\n");
+
   // remove existing nodes...
   var profilekids = document.getElementById( "profilekids" );
   while( profilekids.hasChildNodes() )