free_priority

Description:

public static void free_priority (int priority)

Frees a priority value as returned by the get_priority function.

Parameters:

priority

Priority value.