Is there a way to specify a pidfile for a box server? I tried adding

runwar.args = ["--pid-file","/var/run/box-myserver.pid"]

and it looks like the default --pid-file arg still is there as well and takes precedence (it's before the custom arg).