1--TEST--
2Bug #72300 (ignore_user_abort(false) has no effect)
3--INI--
4ignore_user_abort=0
5--FILE--
6<?php
7
8var_dump(ignore_user_abort(true));
9var_dump(ignore_user_abort());
10var_dump(ini_get("ignore_user_abort"));
11var_dump(ignore_user_abort(false));
12var_dump(ignore_user_abort());
13var_dump(ini_get("ignore_user_abort"));
14
15?>
16--EXPECT--
17int(0)
18int(1)
19string(1) "1"
20int(1)
21int(0)
22string(1) "0"
23