Alternate triggering of servlets in extensions

[Nicklas Nordborg]

Currently, '*.servlet' is used as a triggering pattern for servlets in extensions. It works quite well in most cases.

However we have found that some GenePattern modules have problems accessing files on the BASE server. GenePattern can't just download any file. The files that have been selected as input files for a job are first copied to a temporary directory. The actual download is handled by a servlet with an URL like:

http://auster.thep.lu.se:8080/trunk/extensions/gp-integration.jar/Download/2009-06-12/gp-28361304/normalized.gct.servlet

This works in many cases but some GenePattern modules has problems with the '.servlet' extension of the file. With manual configuration of Tomcat we could easily trigger on something else than '.servlet', for example /extensions/gp-integration.jar/Download but manual configuration is not something that we want.

Instead I think we should provide an alternate mechanism for triggering a servlet in an extension. For example: /extensions/servlet/*

[Nicklas Nordborg]

(In [4975]) Fixes #1333: Alternate triggering of servlets in extensions