I really don't know what would have been the correct thing to do. Sometimes even pepper spray doesn't work, I carry with me all the time, but one time didn't work, and it was only luck, that nothing terrible happened to me.
Such people need someting stronger. I heard that gas sprays are effective.