Added an optional server-context name fetching operation.
authorFredrik Tolf <fredrik@dolda2000.com>
Thu, 15 Oct 2009 23:07:40 +0000 (01:07 +0200)
committerFredrik Tolf <fredrik@dolda2000.com>
Thu, 15 Oct 2009 23:14:46 +0000 (01:14 +0200)
commit762009abaf3acc38003c9635115c721c602bdaa5
tree22b273864545e1a876039ec63a92e9d2b51d252f
parentb1f70a1cd26e6ba6af9ae0bb067f60786ae2e550
Added an optional server-context name fetching operation.

Only supported on Tomcat so far.
src/dolda/jsvc/ServerContext.java
src/dolda/jsvc/j2ee/J2eeContext.java
src/dolda/jsvc/j2ee/Servlet.java
src/dolda/jsvc/j2ee/StandardContext.java [new file with mode: 0644]
src/dolda/jsvc/j2ee/TomcatContext.java [new file with mode: 0644]