Sad situation, but I agree you did the right thing. Few months ago had my dog attacked while on a walk, would probably have shot it had I been armed. Fortunately the owners (good friends of ours) got their quickly and between us we broke things up.
If your dog isn't doing better, may want to...