The PHP server crashed some times

[zengbo]

See crash log in attachment
crash.log

[jakubmisek]

@zengbo thank you very much for reporting this, we'll try to fix that asap.

[jakubmisek]

fixed in the upcoming pre-release, thank you!