fails:DRb.stop_service should correctly clear the port so a new server can start