# HG changeset patch
# User robcast
# Date 1099388814 -3600
# Node ID ccddc9a5b63b4e64d2aeedf0022ee2dd6b100414
# Parent  88f986c79478032380e341fae4bfde32d7f2818b
fixed small problem with page numbers for slow loading pages

diff -r 88f986c79478 -r ccddc9a5b63b client/digitallibrary/oldskin/pageWin.html
--- a/client/digitallibrary/oldskin/pageWin.html	Mon Nov 01 18:42:29 2004 +0100
+++ b/client/digitallibrary/oldskin/pageWin.html	Tue Nov 02 10:46:54 2004 +0100
@@ -6,6 +6,9 @@
 if ((parent.mainFrame.getParameter)&&(parent.mainFrame.getParameter("pn"))) {
     pt = parent.mainFrame.getParameter("pt");
     pn = parent.mainFrame.getParameter("pn");
+} else {
+    // if the mainFrame is not ready then wait
+    setTimeout("show()", 500);
 }
 
 function show() {