Revision: glite-voms-admin-server--cvs-trunk--0--patch-100
Archive: lorentey@elte.hu--2004
Creator: Karoly Lorentey <lorentey@elte.hu>
Date: Tue Nov  9 22:40:27 CET 2004
Standard-date: 2004-11-09 21:40:27 GMT
Modified-files: scripts/init-voms-admin
New-patches: lorentey@elte.hu--2004/glite-voms-admin-server--cvs-trunk--0--patch-100
Summary: Work around .war upgrade problem in Tomcat.  Recognize a gLite-specific Tomcat instance.
Keywords: 

* scripts/init-voms-admin: Also try to find Tomcat in
  $GLITE_LOCATION/externals/tomcat*.
  (stop): Clean up the expanded .war contents that Tomcat fails to
  delete.  This bug in Tomcat has prevented smooth upgrades in the past.
  (tomcat_start, tomcat_stop): New functions.
  (main case): Call them.