Skip to content

4.3.10: Merge pull request #767 from lucatume/v4-better-pid-check
Compare
Choose a tag to compare
@lucatume lucatume released this 29 Nov 13:55
· 18 commits to master since this release
4.3.10
fe3e069
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

4.3.10

Fixed

  • Check the PID file for the PHP built-in server, MySQL and Chromedriver controllers to make sure the PID maps to an actually running process.
Assets 2
Loading