-- ## 10: Priority tickets (not closed) ## --

SELECT p.value AS __color__,
   t.milestone AS __group__,
   (CASE owner WHEN $USER THEN 'font-weight: bold' END) AS __style__,
   id AS ticket, summary, component, status, 
   resolution,version, t.type AS type, priority, owner,
   changetime AS modified,
   time AS _time,reporter AS _reporter
  FROM ticket t
  LEFT JOIN enum p ON p.name = t.priority AND p.type = 'priority'
  WHERE milestone IN (NULL, 'Priority') AND (NOT status = 'closed')
  ORDER BY (milestone IS NULL), milestone DESC, (status = 'closed'), 
        (CASE status WHEN 'closed' THEN changetime ELSE (-1) * CAST(p.value AS integer) END) DESC