diff tomcat/server.xml @ 75:aa2fd199ba56

improve pid2name script
author smith@nwoca.org
date Wed, 23 Mar 2016 16:39:31 +0100
parents 6a4ba408b8c4
children 120fc16ea511
line wrap: on
line diff