# HG changeset patch
# User robcast
# Date 1068495507 -3600
# Node ID 3258490649b5d17e9dc3168e901ea17afe43450e
# Parent 830b0111a0c9b658aba607e5441d0a52c6a84e2c
Servlet version 1.17b2
- new mapping file for "virtual directories"
- direct file URLs now work without extension (even with wrong ones)
diff -r 830b0111a0c9 -r 3258490649b5 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