server: Kill an unused variable.