To clarify, westor wants to ignore users only for the duration of his mIRC session.
This would be pretty tough to script reliably. It's doable, but a switch would be pretty useful. I could see a general use case for this kind of thing, where you want to ignore someone "for a while but not forever".
