[paparazzi-commits] [paparazzi/paparazzi] 33cc16: [pprzcenter] copy backup file to conf when restori...

[GitHub]

  Branch: refs/heads/save_conf_on_quit
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 33cc1626f61fc4ecdc81fed33de01c640569e02c
      
https://github.com/paparazzi/paparazzi/commit/33cc1626f61fc4ecdc81fed33de01c640569e02c
  Author: Felix Ruess <address@hidden>
  Date:   2016-04-01 (Fri, 01 Apr 2016)

  Changed paths:
    M sw/supervision/paparazzicenter.ml

  Log Message:
  -----------
  [pprzcenter] copy backup file to conf when restoring

and then delete the backup file.
If conf.xml is actually a symlink, simply renaming the file will remove the 
symlink.