|
|
0c228f4e2d
|
Get log levels (#1)
Add command to get log levels and enabled metrics
|
2022-01-27 18:39:01 +01:00 |
|
|
|
afa10e563f
|
opam: add dune dependency
|
2022-01-27 14:58:03 +01:00 |
|
|
|
8e7050acf3
|
revise readme
|
2022-01-27 14:54:40 +01:00 |
|
|
|
938406313e
|
create: add ~listen_port which allows dynamic adjustment of log level and metrics source enable/disable
|
2022-01-27 14:39:31 +01:00 |
|
|
|
5ed8d422d2
|
avoid deprecation warning when calling OS.MM.malloc_metrics
|
2022-01-27 13:33:26 +01:00 |
|
|
|
5ab788b95d
|
update to recent API changes
|
2022-01-27 12:23:42 +01:00 |
|
|
|
e67b401cd1
|
opam: moved to roburio
|
2022-01-27 12:19:15 +01:00 |
|
|
|
68ac9bc5d5
|
adapt dependencies
|
2021-11-03 09:04:21 +01:00 |
|
|
|
9add7d0d39
|
require tcpip with monitoring
|
2021-04-30 11:02:26 +02:00 |
|
|
|
e9b965a2d2
|
record memory metrics as well
|
2020-12-21 15:36:25 +01:00 |
|
|
|
dd64fdbbb3
|
dual stack support
|
2020-12-21 14:46:23 +01:00 |
|
|
|
bba2d376f8
|
adjust mirage-solo5 and mirage-net-solo5 bounds
|
2020-11-05 23:47:58 +01:00 |
|
|
|
1002f0a571
|
metrics is released now
|
2020-05-09 23:45:22 +02:00 |
|
|
|
aaec284b17
|
counter metrics
|
2019-11-08 12:49:04 +01:00 |
|
|
|
f10e6257be
|
port argument
|
2019-11-07 15:42:23 +01:00 |
|
|
|
de7c0ca8a7
|
revert
|
2019-11-06 21:43:02 +01:00 |
|
|
|
b3b9894a61
|
fix
|
2019-11-06 20:58:52 +01:00 |
|
|
|
2969493479
|
less is more
|
2019-11-06 19:30:59 +01:00 |
|
|
|
89278eed14
|
tls-mirage does not exist yet, but tls.mirage
|
2019-10-05 22:20:23 +02:00 |
|
|
|
158c4a5bb5
|
run tasks as well
|
2019-09-19 21:10:23 +02:00 |
|
|
|
02a70f46ce
|
enable metrics
|
2019-09-19 21:08:30 +02:00 |
|
|
|
8c2dc731de
|
adapt
|
2019-09-19 20:51:18 +02:00 |
|
|
|
b706f4ecf2
|
new x509
|
2019-07-03 18:04:26 +02:00 |
|
|
|
af0de00ab5
|
new tls-mirage
|
2019-06-27 21:20:05 +02:00 |
|
|
|
c906f2c5d3
|
tcp
|
2019-05-27 23:42:15 +02:00 |
|
|
|
648ff6df6d
|
adjust
|
2019-05-13 23:05:11 +02:00 |
|
|
|
2557351f63
|
nicer
|
2019-05-13 20:34:27 +02:00 |
|
|
|
8c813c36fc
|
.
|
2019-05-13 03:33:05 +02:00 |
|
|
|
86880ed05e
|
local
|
2019-05-13 00:09:05 +02:00 |
|
|
|
6683f90e61
|
.
|
2019-05-12 23:25:25 +02:00 |
|
