Bug in AuctionServer is fixed