akallabeth 767818e97e [client,cmdline] fix gateway option parser
Options like /gateway:type:http,no-websockets,port:1234 were not
properly parsed. The `type:http,no-websockets` must be considered as
separate options with weak dependency.
Thanks to @akarl10 for pointing out this problem.
2023-04-04 09:06:05 +02:00
..
2022-12-09 15:58:26 +01:00
2023-03-15 08:22:23 +01:00
2022-03-03 11:26:48 +01:00