php signal bug fix