[paparazzi-commits] [paparazzi/paparazzi] 6511bd: [supervision] color regex on "error:" and "error "

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 6511bdd786c249415ef07eef9f4102c51d221da5
      
https://github.com/paparazzi/paparazzi/commit/6511bdd786c249415ef07eef9f4102c51d221da5
  Author: Felix Ruess <address@hidden>
  Date:   2014-11-10 (Mon, 10 Nov 2014)

  Changed paths:
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [supervision] color regex on "error:" and "error "

To avoid false coloring, match only on "error" folowed by colon or space

closes #910