2012-09-21 07:39:27 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
set(OPTION_DEFAULT OFF)
|
|
|
|
|
set(OPTION_CLIENT_DEFAULT ON)
|
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
|
|
|
|
|
|
if(${OPTION_CLIENT_DEFAULT} OR ${OPTION_SERVER_DEFAULT})
|
|
|
|
|
set(OPTION_DEFAULT ON)
|
|
|
|
|
endif()
|
2012-09-21 07:39:27 +04:00
|
|
|
|
2012-10-19 23:27:55 +04:00
|
|
|
define_channel_options(NAME "cliprdr" TYPE "static"
|
|
|
|
|
DESCRIPTION "Clipboard Virtual Channel Extension"
|
|
|
|
|
SPECIFICATIONS "[MS-RDPECLIP]"
|
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
2012-09-21 07:39:27 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|
|
|
|
|
|
