fix for changed shutdown order in PHP-7.4
authorMichael Wallner <mike@php.net>
Mon, 21 Oct 2019 11:38:09 +0000 (13:38 +0200)
committerMichael Wallner <mike@php.net>
Mon, 21 Oct 2019 11:38:09 +0000 (13:38 +0200)

No differences found