[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.
- [paparazzi-commits] [paparazzi/paparazzi] 04cafc: [server] set http port: replace -kml_port option w...,
GitHub <=