php try catch finally exit