diff tomcat/server.xml @ 42:2e2b47145349

add script to convert host pid into container name
author Dave smith <smith@nwoca.org>
date Sun, 24 Jan 2016 10:04:59 -0500
parents 6a4ba408b8c4
children 120fc16ea511
line wrap: on
line diff