void set_priority(string terminal, int pri_val)
Sets the priority of a terminal.
Terminal to set the priority for.
Priority; higher = prefer this terminal.