[web2py] If I start web2py scheduler (-K) there is no pidfile created

[szimszon]

If I start web2py scheduler (-K) there is no pidfile created but I specify 
--pid_filename=...