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.