ports/158410: [PATCH] www/tomcat55: improve pidfile handling in rc script

[Jason Helfman]

The following reply was made to PR ports/158410; it has been noted by GNATS.

From: Jason Helfman <jhelfman at e-e.com>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/158410: [PATCH] www/tomcat55: improve pidfile handling in
 rc script
Date: Tue, 28 Jun 2011 14:17:35 -0700

 I've tested this patch, and it fixes a long standing issue I've wanted to
 fix with the startup/shutdown process for tomcat55.
 
 I approve. This PR can more than likely go with ports/158237
 
 Thanks!
 -- 
 Jason Helfman
 System Administrator
 experts-exchange.com
 http://www.experts-exchange.com/M_4830110.html
 E4AD 7CF1 1396 27F6 79DD  4342 5E92 AD66 8C8C FBA5