diff --git a/ext/standard/tests/general_functions/bug72300.phpt b/ext/standard/tests/general_functions/bug72300.phpt new file mode 100644 index 00000000000..03aa62269f9 --- /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-- + +--EXPECT-- +int(0) +int(1) +int(1) +int(0)