PIDs should be saved on start up so devbot can attempt to reclaim services that survived a devbot restart. These can be kept in the database, separate files aren't necessary. This should work on Windows too.