# HG changeset patch
# User cmielack
# Date 1234367248 -3600
# Node ID 9525e4875d659287afc652434c439573aa71e297
# Parent  3df2769b37b72df340ad1b3e65b3f87b8c8a477a
changed download filename

diff -r 3df2769b37b7 -r 9525e4875d65 servlet/src/digilib/servlet/PDFCache.java
--- a/servlet/src/digilib/servlet/PDFCache.java	Wed Feb 11 16:36:58 2009 +0100
+++ b/servlet/src/digilib/servlet/PDFCache.java	Wed Feb 11 16:47:28 2009 +0100
@@ -168,8 +168,11 @@
 		bis = new BufferedInputStream(fis);
 		int bytes = 0;
 
+		String fn = request.getParameter("fn");
+		String pgs = request.getParameter("pgs");
+		
 		response.setContentType("application/pdf");
-		response.addHeader("Content-Disposition", "attachment; filename="+filename);
+		response.addHeader("Content-Disposition", "attachment; filename="+fn+"_"+pgs+".pdf");
 		response.setContentLength( (int) cached_file.length());
 
 		logger.debug("Sending document "+filename+" to the user.");