Hugo Trippaers 0cc4636a2d Summary: packaging updates
Empty paths lead to unpleasant surpises later on

Use basename to find the pid file when stopping tomcat
2013-02-05 15:06:08 +01:00
..
2013-02-05 15:06:08 +01:00