Closed simonrainerson closed 1 year ago
The command creating the pid file used another file name than the commands using it. Decided to stick to mdbook.pid instead of run.pid to make more obvious to the user what it's for.
The command creating the pid file used another file name than the commands using it. Decided to stick to mdbook.pid instead of run.pid to make more obvious to the user what it's for.