Did the zoo keepers did the right decision?

I learnt the gorilla did not inflinct any injury on the boy. Some sources said the gorilla was having fun with the boy, as in they played together. I am shocked the gorilla was killed one would have expected the security at the zoo to use a taser on the animal instead.