fix shutdown crash with 7.3/master
authorMichael Wallner <mike@php.net>
Tue, 26 Jun 2018 15:19:43 +0000 (17:19 +0200)
committerMichael Wallner <mike@php.net>
Tue, 26 Jun 2018 15:19:43 +0000 (17:19 +0200)
commit377d576a6e68def5708cf1ffcd3c233c4dddf356
treeba65f60b8e6775caba14c2658c6252b68b029169
parent512f733beac73f37ba4acbcf730ebc6c6de849b6
fix shutdown crash with 7.3/master
src/php_http_options.c