Don't be upset, he went towards helping one of your other animals. And you took away his pain rather than keeping him and having him hurting more. You did the right thing, and in that kind of situation, many people would have done the same. Momentary pain before he passes at the hand of a reptile is better than long term pain due to an injury that might not have any way to fix it. You did the right thing, even though it hurt.