# HG changeset patch
# User robcast
# Date 1068495507 -3600
# Node ID f2a5ca6c55049dfc46e95a9aca199a9690bfecdc
# Parent 0a115547a51f6acf315ec6b2c7973162f18dd789
Servlet version 1.17b2
- new mapping file for "virtual directories"
- direct file URLs now work without extension (even with wrong ones)
diff -r 0a115547a51f -r f2a5ca6c5504 servlet/doc/Scaler.html
--- a/servlet/doc/Scaler.html Mon Nov 10 21:06:02 2003 +0100
+++ b/servlet/doc/Scaler.html Mon Nov 10 21:18:27 2003 +0100
@@ -6,7 +6,7 @@
Scaler
-A Servlet for scaling images. (Version 1.9b)
+A Servlet for scaling images. (Version 1.16b2)
Web API