[paparazzi-commits] [paparazzi/paparazzi] 180764: [maps] extracting google maps version

[GitHub]

  Branch: refs/heads/v4.0
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 180764eb3486462aec361706b910e0990877fac9
      
https://github.com/paparazzi/paparazzi/commit/180764eb3486462aec361706b910e0990877fac9
  Author: Gautier Hattenberger <address@hidden>
  Date:   2012-09-07 (Fri, 07 Sep 2012)

  Changed paths:
    M data/maps/Makefile
    M sw/lib/ocaml/maps_support.ml

  Log Message:
  -----------
  [maps] extracting google maps version

It should not fail in case of lost connection or corrupted maps.xml file
Fix #187


  Commit: 413be9bfb212e7f763ce414523c67100ff1a9afe
      
https://github.com/paparazzi/paparazzi/commit/413be9bfb212e7f763ce414523c67100ff1a9afe
  Author: Felix Ruess <address@hidden>
  Date:   2012-09-07 (Fri, 07 Sep 2012)

  Changed paths:
    M data/maps/Makefile

  Log Message:
  -----------
  [maps] if google maps version download fails, print message and remove emtpy 
file


Compare: 
https://github.com/paparazzi/paparazzi/compare/7384575f87ef...413be9bfb212