aa4a58d7d2
minor
2022-05-22 21:23:23 +02:00
002aaf9321
updates and renaming
2022-05-22 21:21:09 +02:00
4a07e47893
opam: pinned is now dev
2022-01-29 17:06:12 +01:00
2b4f335d76
Merge pull request #2 from roburio/new-metrics
...
support metrics default, *, and tags
2022-01-29 15:29:00 +01: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
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
