They shot the crocodile a few times until it let go of the arm, but the shots pretty much bounced off its head - it’s still alive, and is apparently now a major tourist attraction at the zoo.
The veterinarian just wasn’t following procedures, and he paid for it. I also inject crocs with sedatives occasionally, and the absolute first thing you do before going anywhere near those jaws is to test that the sedative has taken effect (prodding the tail or neck gently with a long oar, then testing bite force is standard procedure). Even when it’s been sedated, you always treat the croc as though it’s still dangerous and take suitable precautions (a second person protecting you from the head, covering the eyes, etc). Basically, if you get bitten by a croc in captivity it was your own silly fault for not taking precautions.
Crocs are a thing of beauty. It also amazes me they’re so large and still one of the most efficient eaters on Earth. They could eat a zebra and it could give them their nutriotional needs for an entire year if they had to. Unreal.