[paparazzi-commits] [paparazzi/paparazzi] 8e3709: [ocaml] unbind WORLD_ENV message requests on timeo...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 8e370981cbcb9627d042f41141fdbc90e685aae8
      
https://github.com/paparazzi/paparazzi/commit/8e370981cbcb9627d042f41141fdbc90e685aae8
  Author: Gautier Hattenberger <address@hidden>
  Date:   2016-02-04 (Thu, 04 Feb 2016)

  Changed paths:
    M sw/ext/pprzlink
    M sw/simulator/sim.ml

  Log Message:
  -----------
  [ocaml] unbind WORLD_ENV message requests on timeout for sim


  Commit: 290b8a6d521436d64c924d67edecc0728dd051f7
      
https://github.com/paparazzi/paparazzi/commit/290b8a6d521436d64c924d67edecc0728dd051f7
  Author: Gautier Hattenberger <address@hidden>
  Date:   2016-02-04 (Thu, 04 Feb 2016)

  Changed paths:
    M sw/ground_segment/cockpit/live.ml

  Log Message:
  -----------
  [ocaml] fix live.ml for new message_req function


  Commit: 2f582602a440bb82fe3fdf712b42002047c2378b
      
https://github.com/paparazzi/paparazzi/commit/2f582602a440bb82fe3fdf712b42002047c2378b
  Author: Gautier Hattenberger <address@hidden>
  Date:   2016-02-04 (Thu, 04 Feb 2016)

  Changed paths:
    M Makefile
    M sw/Makefile.ocaml
    M sw/ground_segment/cockpit/Makefile
    M sw/ground_segment/joystick/Makefile
    M sw/ground_segment/tmtc/Makefile
    M sw/logalizer/Makefile
    M sw/simulator/Makefile
    M sw/supervision/Makefile
    M sw/tools/generators/Makefile

  Log Message:
  -----------
  [build] tries to get correct dependency to pprzlink


  Commit: 2c952ca64fbe68fd7e2195ba5fb82d6fea30ae54
      
https://github.com/paparazzi/paparazzi/commit/2c952ca64fbe68fd7e2195ba5fb82d6fea30ae54
  Author: Gautier Hattenberger <address@hidden>
  Date:   2016-02-04 (Thu, 04 Feb 2016)

  Changed paths:
    M sw/ground_segment/cockpit/live.ml

  Log Message:
  -----------
  [ocaml] fix warning in live.ml


Compare: 
https://github.com/paparazzi/paparazzi/compare/831e51175a71...2c952ca64fbe