fix possible optimization bug

diff --git a/ext/standard/basic_functions.c b/ext/standard/basic_functions.c
index 452c565d75eaf35ec4de4c98514abf51396de93b..1eb8e1c02c639d9d1be2751a17feede456f830bd 100644 (file)
--- a/ext/standard/basic_functions.c
+++ b/ext/standard/basic_functions.c
@@ -5523,7 +5523,7 @@ PHP_FUNCTION(ignore_user_abort)
                return;
        }
 
-       old_setting = PG(ignore_user_abort);
+       old_setting = (unsigned short)PG(ignore_user_abort);
 
        if (ZEND_NUM_ARGS()) {
                zend_string *key = zend_string_init("ignore_user_abort", sizeof("ignore_user_abort") - 1, 0);