On a general mixed priority queue with server discretion