$int
=
0
#1
|
ignore_user_abort
|
(true)
|