mirror of
https://github.com/morgan9e/FreeRDP
synced 2026-04-15 00:44:19 +09:00
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.