6.86: added fire_command() method to server::mine for direct use on a server object.