It's very easily said, but I don't know how it might be done.
Let's say a player on the server I'm playing on named 8876 is griefing.
I use /BanAll 8876 Grief, and this msg comes:
0.0.34.172 was banned by BobKare.
BanAll reason: Grief
[FIXED] Bug when /BanAll only-numeric names.
Re: Bug when /BanAll only-numeric names.
Aha I see, I am accidentally treating 8876 as an IP address in decimal notation. I'll fix that. Thanks!
EDIT: Fixed internally in r1246
EDIT: Fixed internally in r1246
Re: Bug when /BanAll only-numeric names.
Thank you looking into it.