Mercurial > hg > de.mpg.mpiwg.itgroup.digilib.core

annotate src/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/digimage_img_inc.jsp @ 1:83c58ea33792

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first release (continued)
author dwinter
date Mon, 03 Jan 2011 09:11:25 +0100
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 <%@ page language="java" %><%
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2 // retrieve objects from context
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3 digilib.servlet.DocumentBean docBean = (digilib.servlet.DocumentBean) pageContext.getAttribute("docBean", pageContext.REQUEST_SCOPE);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 digilib.servlet.DigilibRequest dlRequest = docBean.getRequest();
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 String ua = request.getHeader("User-Agent");
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 boolean isN4 = ((ua.indexOf("Mozilla/4.") > -1)&&(ua.indexOf("MSIE") == -1));
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 %>
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 <%
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 if (isN4) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 %><ilayer name="scaler"><%
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 %><div id="scaler"><%
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 %>
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 <script type="text/javascript">
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 var ps = bestPicSize(getElement('scaler'), 50);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 document.write('<img id="pic" src="<%= dlRequest.getAsString("base.url") + "/servlet/Scaler?" + dlRequest.getAsString('s') %>&dw='+ps.width+'&dh='+ps.height+'" />');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 </script>
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 <%
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 if (isN4) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 %></ilayer><%
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 } else {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 %></div><%
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 %>