ON BAN { kick ..... - mIRC Discussion Forums

Anyone knows how to script this ?
I dont mean like straight out of the help file, I mean:

if someone bans *!*identd@host.domain, then this script should kick that/those nicks that are in the banned address...
where as mircs help file says its not possible, but Im sure it can be scripted, right ?

Code:

Note: These events only work on nicknames because the IRC server only 
sends the nickname of the user being banned/unbanned
and not an address. Also, IP addresses will not be matched against named addresses.

Something like this?

Code:

on @*:BAN:#:{
  var %i = 1
  while ( $ialchan($banmask,#,%i) ) {
    kick # $gettok($ialchan($banmask,#,%i),1,33) Banned by $nick
    inc %i
  }
}

Many many thanks

That just abouts kills the "mute ban" possibility >:\