# HG changeset patch # User luginbue # Date 1057626307 -7200 # Node ID de46bb92290efc7b8fc4233b6cf68fffcf8d65f8 # Parent 7dc74e541d7c2bfcfba099ac3969b0f83782e772 more unnecessary files 'removed' diff -r 7dc74e541d7c -r de46bb92290e client/digitallibrary/dlImage.jsp --- a/client/digitallibrary/dlImage.jsp Tue Jul 08 03:00:57 2003 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,94 +0,0 @@ -<% -// checking if the height and width of this client is already known -if ((request.getParameter("dw") == null) || (request.getParameter("dh") == null)) { -%> - - -
- - - - - - -<% -} else { - -digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(); -/* default values for parameters -dlRequest.setFn("/"); // url of the page/document -dlRequest.setPn(1); // page number -dlRequest.setWs(1); // scale factor -dlRequest.setMo(""); // special options like 'fit' for gifs -dlRequest.setMk("0/0"); // marks -dlRequest.setWx(0); // left edge of image (float from 0 to 1) -dlRequest.setWy(0); // top edge in image (float from 0 to 1) -dlRequest.setWw(1); // width of image (float from 0 to 1) -dlRequest.setWh(1); // height of image (float from 0 to 1) -*/ -// overrriding default parameters with provided parameters from query-string -dlRequest.setWithRequest(request); - -String imageLocation = dlRequest.getBaseURL() + "/servlet/Scaler/?" + dlRequest.getAsString(); -%> - - - - - - - -