2012-10-03 00:54:14 +04:00
|
|
|
|
2020-02-26 15:53:25 +03:00
|
|
|
if (IOS OR ANDROID)
|
|
|
|
set(OPTION_DEFAULT OFF)
|
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
else()
|
|
|
|
set(OPTION_DEFAULT ON)
|
|
|
|
set(OPTION_CLIENT_DEFAULT ON)
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
endif()
|
2012-10-20 00:47:48 +04:00
|
|
|
|
2012-10-19 23:27:55 +04:00
|
|
|
define_channel_options(NAME "urbdrc" TYPE "dynamic"
|
|
|
|
DESCRIPTION "USB Devices Virtual Channel Extension"
|
|
|
|
SPECIFICATIONS "[MS-RDPEUSB]"
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
2012-10-03 00:54:14 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
2012-11-21 04:34:52 +04:00
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|