Server/Session.cs
changeset 184 7b6aa551eb6c
parent 171 151e11cac3b2
child 226 91763ba41c0c
     1.1 --- a/Server/Session.cs	Fri Jan 22 16:08:22 2016 +0100
     1.2 +++ b/Server/Session.cs	Sun Jan 24 19:25:51 2016 +0100
     1.3 @@ -40,6 +40,7 @@
     1.4      {
     1.5          public string SessionId { get; set; }
     1.6          public string Name { get; set; }
     1.7 +        public uint Priority { get; set; }
     1.8  
     1.9          Session()
    1.10          {
    1.11 @@ -73,6 +74,16 @@
    1.12              //callback.OnConnected();
    1.13          }
    1.14  
    1.15 +        /// <summary>
    1.16 +        /// 
    1.17 +        /// </summary>
    1.18 +        /// <param name="aPriority"></param>
    1.19 +        public void SetPriority(uint aPriority)
    1.20 +        {
    1.21 +            Priority = aPriority;
    1.22 +            SharpDisplayManager.Program.iMainForm.SetClientPriorityThreadSafe(SessionId, Priority);
    1.23 +        }
    1.24 +
    1.25          public void SetLayout(TableLayout aLayout)
    1.26          {
    1.27              SharpDisplayManager.Program.iMainForm.SetClientLayoutThreadSafe(SessionId, aLayout);