I'm so sorry to hear about your poor little porch cat. What you did was right - no more suffering for him.

Rest in Peace little kitty!