Commander: Do not save params on already saved param update

2026-05-20 20:03:54 +08:00 · 2016-01-22 11:33:40 +01:00
parent 19b81b9ab2
commit 85c49ff642
2 changed files with 11 additions and 9 deletions
@@ -1 +1,2 @@
 uint64 timestamp	# time at which the latest parameter was updated
+bool saved		# wether the change has already been saved to disk