# HG changeset patch
# User robcast
# Date 1294776492 -3600
# Node ID 3292343f64d6ca9c60dbd966288180dd7b813e3a
# Parent  2b58d2783ef01455171da5620474989941a07f35
very small fix

diff -r 2b58d2783ef0 -r 3292343f64d6 client/digitallibrary/digimage_tbl_inc.jsp
--- a/client/digitallibrary/digimage_tbl_inc.jsp	Sun Jan 09 21:51:07 2011 +0100
+++ b/client/digitallibrary/digimage_tbl_inc.jsp	Tue Jan 11 21:08:12 2011 +0100
@@ -1,6 +1,6 @@
 <%@ page language="java" %><%
 // retrieve objects from context
-digilib.servlet.DocumentBean docBean = (digilib.servlet.DocumentBean) pageContext.getAttribute("docBean", pageContext.REQUEST_SCOPE);
+digilib.servlet.DocumentBean docBean = (digilib.servlet.DocumentBean) pageContext.getAttribute("docBean", PageContext.REQUEST_SCOPE);
 digilib.servlet.DigilibRequest dlRequest = docBean.getRequest();
 String ua = request.getHeader("User-Agent");
 boolean isN4 = ((ua.indexOf("Mozilla/4.") > -1)&&(ua.indexOf("MSIE") == -1));