Bad uploads
The highlighted comment was created in this revision.
While testing a custom client I screwed up while uploading results to LiteRumble. Now there are a few bots with wrong names on the server (underlines instead of spaces):
bvh.mini.Wodan_0.50
taqho.taqbot_1.0
eat.HumblePieLite_1.0
ntw.Sighup_1.5
jcs.Megatron_1.2
Polkwane.Intensive_1.0
Legend.Biogon_1.5
gwah.GerryBotMkII_1.5.1
cw.megas.Silhouette_1.1
el.JumpShoot_0.2
ags.Midboss_1q.fast
Polkwane.Piyane_0.7b
bjl.LoneDragon_0.5
pez.mini.VertiLeach_0.4.0
vft.Valkyrie_1.0
japs.Sjonniebot_0.9.1
pmc.SniperBot_1.0
supersample.SuperTracker_1.0
pez.micro.Aristocles_0.3.7
timmit.nano.TimDog_0.33
oog.nano.Caligula_1.15
And the API doesn't let me delete them. It translates underlines to spaces on delete requests making these names inaccessible.
I've changed the API so that it doesn't filter like that in the delete, but does in the upload. I'm not sure if they'll be automatically removed now, or if the client can't handle the underscores.
The client couldn't do it, so I quickly scripted something to remove them from robo/mini/micro/nano. It should be fine now.