Could this be pulled out into a separate Python file that could be used cross-platform (by Linux as well)? Right now, killing the cron server on Linux is a bit heavy-handed.