[paparazzi-commits] [paparazzi/paparazzi] 2d63c6: [pprzcenter] save conf confirmation on quit

[GitHub]

  Branch: refs/heads/save_conf_on_quit
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 2d63c679ce7b9187c5e6a3d68a0d47b1b7f46dcc
      
https://github.com/paparazzi/paparazzi/commit/2d63c679ce7b9187c5e6a3d68a0d47b1b7f46dcc
  Author: Gautier Hattenberger <address@hidden>
  Date:   2016-04-01 (Fri, 01 Apr 2016)

  Changed paths:
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [pprzcenter] save conf confirmation on quit

related to #1567


  Commit: 0d1ad539156269b0a7533fe40fd85b4fcfed7dfa
      
https://github.com/paparazzi/paparazzi/commit/0d1ad539156269b0a7533fe40fd85b4fcfed7dfa
  Author: Felix Ruess <address@hidden>
  Date:   2016-04-01 (Fri, 01 Apr 2016)

  Changed paths:
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [pprzcenter] no quit confirmation on window close


  Commit: 92c4627df65878fed847c81e37fbd87262e2e312
      
https://github.com/paparazzi/paparazzi/commit/92c4627df65878fed847c81e37fbd87262e2e312
  Author: Felix Ruess <address@hidden>
  Date:   2016-04-01 (Fri, 01 Apr 2016)

  Changed paths:
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [pprzcenter] check if backup actually differs

and always delete backup conf/conf.xml~ if it doesn't differ
(e.g. it was created when you changed something, but then you reversed that 
change again)


Compare: 
https://github.com/paparazzi/paparazzi/compare/f6b22dd92f6e...92c4627df658