Matt df76c02e7a

Explicitly release server.lock file when shutdown the server. (#3619) ...

Previously, this relied on PHP itself to release locks during the resource destructor phase during process exit, but sometimes it doesn't for god knows what reason. This change makes the lock file get explicitly released before the process dies.

2020-06-26 11:41:39 +01:00

..

phpstan

Explicitly release server.lock file when shutdown the server. (#3619)

2020-06-26 11:41:39 +01:00

phpunit

RegionLoader: do a full check for chunk overlaps during initial load

2020-06-14 22:39:01 +01:00

plugins

updated DevTools submodule to 1.14.0

2020-02-02 10:21:32 +00:00

travis.sh

travis.sh: ditch PHP_BINARY variable, use PATH prefix instead

2020-02-03 09:30:43 +00:00