I was in the server when this happened and from what I saw when he was warned he dropped it, and continued fighting. The admins who were on (rangerbob, me, and dex) didn't really mind it as he didn't excessively use it over many rounds. Next round he also spawned without it so to me it looked like a mistake.