No more priority pls

This commit is contained in:
Gregor Reitzenstein
2021-01-20 11:55:15 +00:00
parent 53564b6bca
commit cda947a0e9
8 changed files with 40 additions and 37 deletions

View File

@ -6,7 +6,10 @@
, initiators =
{ Initiator = { module = "Dummy", params = {=} }
}
, listens = [{ address = "localhost", port = Some 59661 }]
, listens =
[ { address = "127.0.0.1", port = Some 59661 }
, { address = "::1", port = Some 59661 }
]
, machines =
{ Testmachine =
{ description = Some "A test machine"