DeviceServerPort 属性

获取或设置服务器的端口号，如果是设置，需要在服务器启动前设置完成，才能生效。
Gets or sets the port number of the server. If it is set, it needs to be set before the server starts to take effect.

public int Port { get; set; }

Public Property Port As Integer
	Get
	Set

public:
property int Port {
	int get ();
	void set (int value);
}

member Port : int with get, set