MULTIPLE TIME SERVER CONFIGURATION

Hello,

I would like to get an idea how to configure the wnos ini if we have two or multiple time server hosts?

does Wyse support multiple time server configuration to read via wnos.ini?

If does, would it be a good format for us to configure to properly work as below?

TimeServer=timeserver1.domain.com, timeserver2.domain.com \

if we use UDP port for the time server connection, will the host use tcp port 80 as default?