diff options
Diffstat (limited to 'ext/curl/tests/server.inc')
| -rw-r--r-- | ext/curl/tests/server.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/curl/tests/server.inc b/ext/curl/tests/server.inc index 62f9a2d30c..315fd68cc4 100644 --- a/ext/curl/tests/server.inc +++ b/ext/curl/tests/server.inc @@ -56,7 +56,7 @@ function curl_cli_server_start() { if ($error) { echo $error; - proc_close($handle); + proc_terminate($handle); exit(1); } @@ -65,7 +65,7 @@ function curl_cli_server_start() { proc_terminate($handle); }, $handle - ); + ); return PHP_CURL_SERVER_ADDRESS; } |