[Pkg-varnish-devel] Processed: Re: varnish init script leaves pid file behind

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 661602 patch
Bug #661602 [varnish] varnish init script leaves pid file behind
Bug #678039 [varnish] varnish should remove PID file on stop
Added tag(s) patch.
Added tag(s) patch.
> thank you
Stopping processing here.

Please contact me if you need assistance.
-- 
661602: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=661602
678039: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678039
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems