Package: snmpd Version: 5.4.1~dfsg-12 Severity: normal After /etc/init.d/snmpd stop, the PID files /var/run/snmpd.pid and /var/run/snmptrapd.pid are not deleted. Normally, the programs should do that themselves, but if they don't, you ought to clean up after them in the init script.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
