6.56: did the same for server::mine.