paparazzi-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] 04cafc: [server] set http port


From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 04cafc: [server] set http port: replace -kml_port option w...
Date: Fri, 17 Jul 2015 04:55:45 -0700

  Branch: refs/heads/server_http_port
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 04cafc04eb2c3d24a9982458de4900d5ae57f65a
      
https://github.com/paparazzi/paparazzi/commit/04cafc04eb2c3d24a9982458de4900d5ae57f65a
  Author: Felix Ruess <address@hidden>
  Date:   2015-07-17 (Fri, 17 Jul 2015)

  Changed paths:
    M sw/ground_segment/tmtc/kml.ml
    M sw/ground_segment/tmtc/kml.mli
    M sw/ground_segment/tmtc/server.ml
    M sw/ground_segment/tmtc/server_globals.ml

  Log Message:
  -----------
  [server] set http port: replace -kml_port option with -port

Use the port and hostname for serving config xml files via http.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]