# HG changeset patch
# User robcast
# Date 1099388814 -3600
# Node ID 2d8fb3593bc3c032ebe020e1be36be7cafd1a74b
# Parent  e4391c7e68dcfb3ab99087aef28d4848b125f56b
fixed small problem with page numbers for slow loading pages

diff -r e4391c7e68dc -r 2d8fb3593bc3 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() {