Ignoring someone does not prevent them from ping spamming an entire battle. 
Ignore = block everything from that player so he cannot bother me anymore. Anything else is broken.
+1
Not so much a bug as it is something you wish to be enhanced or changed, I would recommend putting it under the suggestions section.