There isn't a law that I'm aware of that says stop play if the GK is down to be fair. Its dirty tho...dont like it myself. Radio said the ref blew his whistle so...God knows
He was moving the whistle towards his mouth, but didn't blow it.
All just very unfortunate really, annoying as it is. Plenty of time left at least.