Merge "In mysql.php ignore SIGINT"