2012-10-19 15:27:55 -04:00
|
|
|
set(OPTION_DEFAULT OFF)
|
2014-04-03 17:29:12 -04:00
|
|
|
set(OPTION_CLIENT_DEFAULT ON)
|
2012-10-19 16:47:48 -04:00
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
2012-10-05 18:30:14 -04:00
|
|
|
|
2024-11-27 20:31:31 +01:00
|
|
|
define_channel_options(
|
|
|
|
|
NAME
|
|
|
|
|
"smartcard"
|
|
|
|
|
TYPE
|
|
|
|
|
"device"
|
|
|
|
|
DESCRIPTION
|
|
|
|
|
"Smart Card Virtual Channel Extension"
|
|
|
|
|
SPECIFICATIONS
|
|
|
|
|
"[MS-RDPESC]"
|
|
|
|
|
DEFAULT
|
|
|
|
|
${OPTION_DEFAULT}
|
|
|
|
|
)
|
2012-10-19 15:27:55 -04:00
|
|
|
|
2012-10-19 16:47:48 -04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|
