tomcat-users mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Steve Harris <shar...@myra.com>
Subject tomcat pid
Date Tue, 08 Apr 2003 20:03:10 GMT
Hi all,

Is there any command that I can use - apart from ps and grep'ing etc.. -
to find out the tomcat process id ?

>From time to time the tomcat process doen't shutdown and I'd like to write
a script to trap that.

Cheers - Steve



---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-user-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-user-help@jakarta.apache.org


Mime
View raw message