Function parse_priority

plugins/dig.cpp:606–636

};

int32_t parse_priority(color_ostream &out, vector<string> &parameters)
{
    int32_t default_priority = game->main_interface.designation.priority;

    for (auto it = parameters.begin(); it != parameters.end(); ++it)
    {
        const string &s = *it;
        if (s.substr(0, 2) == "p=" || s.substr(0, 2) == "-p")
        {
            if (s.size() >= 3)
            {
                auto priority = int32_t(1000 * atof(s.c_str() + 2));
                parameters.erase(it);
                return priority;
            }
            else if (it + 1 != parameters.end())
            {
                auto priority = int32_t(1000 * atof((*(it + 1)).c_str()));
                parameters.erase(it, it + 2);
                return priority;
            }
            else
            {
                out.printerr("invalid priority specified; reverting to {}\n", default_priority);
                break;
            }
        }
    }

    return default_priority;
}

string forward_priority(color_ostream &out, vector<string> &parameters)
{