# HG changeset patch
# User robcast
# Date 1139427049 -3600
# Node ID b3519a49ae5109cc86541742b44157108099ce69
# Parent  eec0d8c9c3c948ae1cd6b5401295125912189403
Servlet version 1.5.9h
- experimental Flashpix support with JAIDocuImage

diff -r eec0d8c9c3c9 -r b3519a49ae51 servlet/src/digilib/io/FileOps.java
--- a/servlet/src/digilib/io/FileOps.java	Wed Feb 08 20:30:46 2006 +0100
+++ b/servlet/src/digilib/io/FileOps.java	Wed Feb 08 20:30:49 2006 +0100
@@ -35,13 +35,14 @@
 	/**
 	 * Array of file extensions and corresponding mime-types.
 	 */
-	private static String[][] ft = { { "jpg", "image/jpeg" },
+	private static final String[][] ft = { { "jpg", "image/jpeg" },
 			{ "jpeg", "image/jpeg" }, { "jp2", "image/jp2" },
 			{ "png", "image/png" }, { "gif", "image/gif" },
 			{ "tif", "image/tiff" }, { "tiff", "image/tiff" },
+                        { "fpx", "image/fpx" },
 			{ "txt", "text/plain" }, { "html", "text/html" },
 			{ "htm", "text/html" }, { "xml", "text/xml" },
-			{ "svg", "image/svg+xml" } };
+			{ "svg", "image/svg+xml" }, { "meta", "text/xml" } };
 
 	public static Map fileTypes;