According to wiki - looks like you were lucky
"A Hornet's sting is painful to humans, .... Some deliver just a typical insect sting, while others are among the most venomous known insects"
"Hornets,...can mobilize the entire nest to sting in defense: this is highly dangerous to humans. It is not advisable to kill a hornet anywhere near a nest, as the distress signal can trigger the entire nest to attack"