diff options
| author | Xinchen Hui <laruence@gmail.com> | 2016-01-06 00:03:01 +0800 |
|---|---|---|
| committer | Xinchen Hui <laruence@gmail.com> | 2016-01-06 00:03:01 +0800 |
| commit | 4550e93b78e1e72bfaf6acadbeabe09035c4be58 (patch) | |
| tree | 393470412b51d16ac573339fa7f625e5ccac73ee /tests | |
| parent | 3d59a752aff9b466a08e5e2c5915ef92ebf98ad3 (diff) | |
| parent | ce2b2f7e0a6957703645fa5b6e08507f40ac35a7 (diff) | |
| download | php-git-4550e93b78e1e72bfaf6acadbeabe09035c4be58.tar.gz | |
Merge branch 'PHP-7.0'
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== |