[paparazzi-commits] [paparazzi/paparazzi] d0b9c3: [ground_segment] fix green->darkgreen change

[GitHub]

  Branch: refs/heads/fix_green
  Home:   https://github.com/paparazzi/paparazzi
  Commit: d0b9c3acd369b5f6b8fa1f41ac9fb6df722a5739
      
https://github.com/paparazzi/paparazzi/commit/d0b9c3acd369b5f6b8fa1f41ac9fb6df722a5739
  Author: Felix Ruess <address@hidden>
  Date:   2014-12-21 (Sun, 21 Dec 2014)

  Changed paths:
    M sw/ground_segment/cockpit/live.ml
    M sw/ground_segment/cockpit/pages.ml
    M sw/ground_segment/cockpit/strip.ml
    M sw/ground_segment/tmtc/messages.ml
    M sw/lib/ocaml/mapCanvas.ml
    M sw/lib/ocaml/mapFP.ml
    M sw/lib/ocaml/mapTrack.ml
    M sw/lib/ocaml/papget_renderer.ml
    M sw/logalizer/plotter.ml
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [ground_segment] fix green->darkgreen change

Since tcl8.6 "green" refers to same color as "darkgreen" (to the one used in 
web) and the former "green" is now "lime"...
But "lime" is not available in older versions, so hardcode the color to #00ff00