Poor thing... at least it died in the hands of someone who appreciated it. I don't think I could have put it down myself, as I am a little squeamish about such things.
I got a rescue the other day, a common blue-tailed lizard, that are prolific here in NM, and there was nothing I could do for her. It was a tiny baby, and was walking repeatedly in circles, as if she had some kind of neurological problem, or injury that wasn't obvious. I checked her over and did the best I could, but she died about an hour after I recieved her. It's hard, but you just have to remember you really can't save them all...