30bc9db5cc
update to mirage 4.5.0
2024-04-10 11:43:04 +02:00
98ef5cc436
avoid dependency on mirage-solo5, conflict with mirage-solo5/mirage-xen that do not include the Memory.metrics
2023-03-03 12:03:48 +01:00
561564ceea
Adapt to Mirage 4.3.0 changes
2022-09-26 20:04:15 +02:00
7b78a528cc
upgrade to mirage4, drop usage of OS.MM.malloc_metrics
2022-08-05 12:35:00 +02:00
002aaf9321
updates and renaming
2022-05-22 21:21:09 +02:00
263355fad8
support metrics default, *, and tags
...
also change the behaviour of get:
- l and m output default, followed by everything that's different
- l* and m* output default, (tags for m), and everything (so it lists everything)
- l<specific> and m<specific> output the specific source(s)
- * in combination with concrete source names is not supported
2022-01-29 01:02:19 +01:00
0c228f4e2d
Get log levels ( #1 )
...
Add command to get log levels and enabled metrics
2022-01-27 18:39:01 +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
68ac9bc5d5
adapt dependencies
2021-11-03 09:04:21 +01: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
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
86880ed05e
local
2019-05-13 00:09:05 +02:00
6683f90e61
.
2019-05-12 23:25:25 +02:00
