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.
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.