Re: ${user.home} and other server.xml tags accepted by Tomcat?

2008-09-28 Thread Bill Barker
As Konstantin has already pointed out, any value that you can get from System.getProperty("...") will be used for substitution. And to expand on Rainer's comment, these are available for substitution in web.xml as well. This is a Tomcat-specific feature, so limits your ability to port to other

Re: ${user.home} and other server.xml tags accepted by Tomcat?

2008-09-28 Thread Konstantin Kolinko
2008/9/28 Maxim Veksler <[EMAIL PROTECTED]>: > > Are you perhaps familiar with a programmatic / configurable method to > output putting the full list of properties recognized by tomcat during > Catalina start up ? > System.getProperties() shows them all. http://java.sun.com/javase/6/docs/api/java

Re: ${user.home} and other server.xml tags accepted by Tomcat?

2008-09-28 Thread Rainer Jung
Maxim Veksler schrieb: > On Sun, Sep 28, 2008 at 2:37 PM, Rainer Jung <[EMAIL PROTECTED]> wrote: >> Maxim Veksler schrieb: >>> Hello list, >>> >>> I'm looking for a way to make my tomcat configuration more dynamic >>> without resorting to editing xm files. I considering doing this by >>> using para

cluster tomcat 6 jaxws

2008-09-28 Thread Manuel Huertas Lopez
Hi All, Probably this question is very general, but i would like to realize if what i am trying to do make sense. Actually I am working in a project in which i have a webservice (using jaxws ) deploy in tomcat 6. The webservice is controlling the movement of some motors. At startup it create

Re: ${user.home} and other server.xml tags accepted by Tomcat?

2008-09-28 Thread Maxim Veksler
On Sun, Sep 28, 2008 at 2:37 PM, Rainer Jung <[EMAIL PROTECTED]> wrote: > Maxim Veksler schrieb: >> Hello list, >> >> I'm looking for a way to make my tomcat configuration more dynamic >> without resorting to editing xm files. I considering doing this by >> using parameter substitution. >> I've see

Re: ${user.home} and other server.xml tags accepted by Tomcat?

2008-09-28 Thread Rainer Jung
Maxim Veksler schrieb: > Hello list, > > I'm looking for a way to make my tomcat configuration more dynamic > without resorting to editing xm files. I considering doing this by > using parameter substitution. > I've seen from the SSL guide that tomcat will accept configurations > like """${user.ho

${user.home} and other server.xml tags accepted by Tomcat?

2008-09-28 Thread Maxim Veksler
Hello list, I'm looking for a way to make my tomcat configuration more dynamic without resorting to editing xm files. I considering doing this by using parameter substitution. I've seen from the SSL guide that tomcat will accept configurations like """${user.home}""". Is there a list, or a known

Re: How can Servlet detect lost of connection to client?

2008-09-28 Thread André Warnier
If (and only if) it is really worth the effort, there might be a way to do this. I would not know the details of how to achieve this with Tomcat, but I remember writing something like that under Apache and perl. Consider thus what follows as a very rough approximation, and no more than an hint.

Re: JNDIRealm - mapping LDAP group to security role

2008-09-28 Thread Jérôme Delattre
No idea? I thought it was a common use case ... Jerome 2008/9/23 Jérôme Delattre <[EMAIL PROTECTED]> > Hello, > > Env: Tomcat 6.0.18 / Java 6 / Windows > > I am trying to configure a JNDIRealm to authenticate against an Active > Directory. > http://tomcat.apache.org/tomcat-6.0-doc/realm-howto.ht