It's always nice when init scripts make pidfiles (ex /var/run/boinc.pid). Currently, /etc/init.d/boinc does not do this. Reproducible: Always
Created attachment 196396 [details, diff] patch against /etc/init.d/boinc that managed a pid file This patch uses start-stop-daemon to create /var/run/boinc.pid when boinc starts, and deletes the pid file when boinc stops.
Good idea. Added into cvs :]