Actually the main miniserv.pl PID is better https://sourceforge.net/p/webadmin/bugs/4479/