summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXinchen Hui <laruence@gmail.com>2016-06-01 10:43:53 +0800
committerXinchen Hui <laruence@gmail.com>2016-06-01 10:43:53 +0800
commitf5bc7e881bde36fb988d130b6f5b314a52c1933a (patch)
tree3201e037aca43f597bacc6991e7b19ba7efc9b18
parent1d4d8c74362893c0b07cff4aafb6e054c3515e0b (diff)
downloadphp-git-f5bc7e881bde36fb988d130b6f5b314a52c1933a.tar.gz
Forgotten test script for bug #72300
-rw-r--r--ext/standard/tests/general_functions/bug72300.phpt18
1 files changed, 18 insertions, 0 deletions
diff --git a/ext/standard/tests/general_functions/bug72300.phpt b/ext/standard/tests/general_functions/bug72300.phpt
new file mode 100644
index 0000000000..03aa62269f
--- /dev/null
+++ b/ext/standard/tests/general_functions/bug72300.phpt
@@ -0,0 +1,18 @@
+--TEST--
+Bug #72300 (ignore_user_abort(false) has no effect)
+--INI--
+ignore_user_abort=0
+--FILE--
+<?php
+
+var_dump(ignore_user_abort(true));
+var_dump(ignore_user_abort());
+var_dump(ignore_user_abort(false));
+var_dump(ignore_user_abort());
+
+?>
+--EXPECT--
+int(0)
+int(1)
+int(1)
+int(0)