Hannes Mehnert
|
6206e8681a
|
make dbdir and tmpdir platform-specific and overwritable by all command line utilities
|
2019-11-27 11:27:55 +01:00 |
|
Hannes Mehnert
|
784429744c
|
versioning: revise it all, use a 'current' in Vmm_commands, all daemons reply with the received version on that particular stream
|
2019-11-11 23:20:03 +01:00 |
|
Hannes Mehnert
|
8a113e5ce0
|
revise log and console subscription protocol, require either since or count
|
2019-10-29 20:17:50 +01:00 |
|
Hannes Mehnert
|
537c113a8a
|
albatross_log: a read-only mode to read a log file
|
2019-10-15 00:50:16 +02:00 |
|
Hannes Mehnert
|
866cd9041a
|
move conn_metrics to Vmm_core
|
2019-10-12 02:15:44 +02:00 |
|
Hannes Mehnert
|
13edb22db3
|
bump wire version
|
2019-10-12 02:06:45 +02:00 |
|
Hannes Mehnert
|
f81a12bc4d
|
initial metrics
|
2019-10-12 02:06:38 +02:00 |
|
Hannes Mehnert
|
95a46638fa
|
use cmdliner.1.0.0, especially term_result
move albatross_cli to a custom directory (command-line)
|
2019-04-08 16:41:20 +02:00 |
|
Hannes Mehnert
|
45f37389aa
|
move to dune, rename executables
|
2019-03-28 00:11:43 +01:00 |
|