[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 9f1363: [server] close file ev
From: |
GitHub |
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 9f1363: [server] close file even if file empty |
Date: |
Mon, 22 Dec 2014 05:09:05 -0800 |
Branch: refs/heads/replace_boot_with_autopilot_version
Home: https://github.com/paparazzi/paparazzi
Commit: 9f1363f65f86b61b5dc1f22f02712835cb54bece
https://github.com/paparazzi/paparazzi/commit/9f1363f65f86b61b5dc1f22f02712835cb54bece
Author: Gautier Hattenberger <address@hidden>
Date: 2014-12-22 (Mon, 22 Dec 2014)
Changed paths:
M sw/ground_segment/tmtc/server.ml
Log Message:
-----------
[server] close file even if file empty
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 9f1363: [server] close file even if file empty,
GitHub <=