Electricity is sneaky ****. Even when you're careful it can get you. Glad it turned out well for you both.
15 years ago my 15 year old son was helping me work on my Jeep. I had a battery charger plugged up and was looking for a drain on the battery. I was doing a thorough visual inspection of the wiring when I hear a gurgling sound...I look up and his arms are in the air and he's shaking and gurgling. I ran inside the house where the extension cord was plugged in and pulled it.
When I got back outside he was lying on the concrete floor unconscious. .ran to the neighbors house to call 9-1-1 since our phone was not working correctly. When I got back I checked for a pulse and breathing. Thankfully both good.
He was being electrocuted and when I pulled the plug he fell, hit his head, and knocked himself out. He came too after medical arrived.
The hospital checked his lactic acid level and kept pumping saline solution into him to get it down. He ended up staying the night at the hospital.
I threw the charger away. Then exploring around the house I found the ground from the power meter dangling from a water pipe. I put a 6' ground rod into the ground and connected the ground to it.
Son is now 30 years old and healthy. Scared the crap out of dad though!!
