diff options
author | Anatol Belski <ab@php.net> | 2016-01-05 18:53:04 +0100 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2016-01-05 18:54:46 +0100 |
commit | 9a07245b728714de09361ea16b9c6fcf70cb5685 (patch) | |
tree | 42808d6c86e4c3aa11e7df3e5f407ccb3c64c0b5 /tests | |
parent | 654c8aedd12c217987191c83e6e93c8e756c1a6e (diff) | |
download | php-git-9a07245b728714de09361ea16b9c6fcf70cb5685.tar.gz |
Fixed bug #71273 A wrong ext directory setup in php.ini leads to crash
Diffstat (limited to 'tests')
-rw-r--r-- | tests/basic/bug71273.phpt | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/basic/bug71273.phpt b/tests/basic/bug71273.phpt new file mode 100644 index 0000000000..d0cd72577e --- /dev/null +++ b/tests/basic/bug71273.phpt @@ -0,0 +1,21 @@ +--TEST-- +Bug #71273 A wrong ext directory setup in php.ini leads to crash +--SKIPIF-- +<?php + if ("cli" != php_sapi_name()) { + die("skip CLI only"); + } +?> +--FILE-- +<?php + /* NOTE this file is required to be encoded in iso-8859-1 */ + + $cmd = getenv('TEST_PHP_EXECUTABLE') . " -n -d html_errors=on -d extension_dir=a/é/w -d extension=php_kartoffelbrei.dll -v 2>&1"; + $out = shell_exec($cmd); + + var_dump(preg_match(",.+a[\\/].+[\\/]w.php_kartoffelbrei.dll.+,s", $out)); +?> +==DONE== +--EXPECTF-- +int(1) +==DONE== |