BaseXdb/basex-api — pull request #46 by dimitarp (2012-03-09 19:30:51+00:00)
Title: [ADD] HTTP: added new base class for all servlets, so that basex options...

... in web.xml are set up during initialization of all servlets.