# HG changeset patch
# User robcast
# Date 1139427049 -3600
# Node ID 96bd3656e4a6c660eb6134db888217d5980578a6
# Parent  530b7b58a727aeb5c13fda8e1836da88096804dc
Servlet version 1.5.9h
- experimental Flashpix support with JAIDocuImage

diff -r 530b7b58a727 -r 96bd3656e4a6 servlet/src/digilib/servlet/Texter.java
--- a/servlet/src/digilib/servlet/Texter.java	Wed Feb 08 20:30:49 2006 +0100
+++ b/servlet/src/digilib/servlet/Texter.java	Wed Feb 08 20:30:49 2006 +0100
@@ -45,7 +45,7 @@
 	private static final long serialVersionUID = -8539178734033662322L;
 
 	/** Servlet version */
-	public static String tlVersion = "0.1b1";
+	public static String tlVersion = "0.1b2";
 
 	/** DigilibConfiguration instance */
 	DigilibConfiguration dlConfig = null;
@@ -135,15 +135,15 @@
 		processRequest(request, response);
 	}
 
-protected void processRequest(HttpServletRequest request,
+	protected void processRequest(HttpServletRequest request,
 			HttpServletResponse response) throws ServletException, IOException {
-
+		
 		/*
 		 * request parameters
 		 */
 		DigilibRequest dlRequest = (DigilibRequest) request.getAttribute("digilib.servlet.request");
 		try {
-
+			
 			/*
 			 * find the file to load/send
 			 */
@@ -154,11 +154,12 @@
 				f = getTextFile(dlRequest, "");
 				if (f != null) {
 					ServletOps.sendFile(f.getFile(),	null, response);
-				} else {	
-					ServletOps.htmlMessage("No Text-File!", response);
+				} else {
+					response.sendError(HttpServletResponse.SC_NOT_FOUND, "Text-File not found!");
+					//ServletOps.htmlMessage("No Text-File!", response);
 				}
 			}
-
+			
 		} catch (FileOpException e) {
 			logger.error("ERROR: File IO Error: ", e);
 			try {
@@ -166,8 +167,8 @@
 			} catch (FileOpException ex) {
 			} // so we don't get a loop
 		}
-	}	
-
+	}
+	
 
 	/**
 	 * Looks for a file in the given subDirectory.