# HG changeset patch
# User robcast
# Date 1294776492 -3600
# Node ID 3af9878e268fc27b74883ae1846302efe2f8169b
# Parent  d9e15a1041f75cd139e600423ffd34695a4bb3b5
very small fix

diff -r d9e15a1041f7 -r 3af9878e268f 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));