Clone of official tools

Committer:
theotherjimmy
Date:
Tue Sep 25 13:43:09 2018 -0500
Revision:
43:2a7da56ebd24
Release 5.10.0

Who changed what in which revision?

UserRevisionLine numberNew contents of line
theotherjimmy 43:2a7da56ebd24 1 {
theotherjimmy 43:2a7da56ebd24 2 "config": {
theotherjimmy 43:2a7da56ebd24 3 "echo-server-addr" : {
theotherjimmy 43:2a7da56ebd24 4 "help" : "IP address of echo server",
theotherjimmy 43:2a7da56ebd24 5 "value" : null
theotherjimmy 43:2a7da56ebd24 6 },
theotherjimmy 43:2a7da56ebd24 7 "echo-server-port" : {
theotherjimmy 43:2a7da56ebd24 8 "help" : "Port of echo server",
theotherjimmy 43:2a7da56ebd24 9 "value" : null
theotherjimmy 43:2a7da56ebd24 10 }
theotherjimmy 43:2a7da56ebd24 11 },
theotherjimmy 43:2a7da56ebd24 12 "target_overrides": {
theotherjimmy 43:2a7da56ebd24 13 "*": {
theotherjimmy 43:2a7da56ebd24 14 "target.network-default-interface-type": null
theotherjimmy 43:2a7da56ebd24 15 }
theotherjimmy 43:2a7da56ebd24 16 }
theotherjimmy 43:2a7da56ebd24 17 }