workingsession.cs

using System;
using System.Diagnostics;
using System.Threading.Tasks;
using Pusher.ViewModels;
using Starcounter;

namespace Pusher
{
    class Program
    {
        static void Main()
        {
            Application.Current.Use(new HtmlFromJsonProvider());
            Application.Current.Use(new PartialToStandaloneHtmlProvider());
            Schedule();
            Handle.GET("/", () => new MainPage());
        }

        private static void Schedule()
        {
            Task.Run(async () =>
            {
                while (true)
                {
                    await Task.Delay(1000);
                    Session.ForAll((s, i) =>
                    {
                        Push(s);
                    });
                }
            });
        }

        static void Push(Session session)
        {
            if (session.PublicViewModel is MainPage p)
            {
                p.time = DateTime.Now.ToString();
                session.CalculatePatchAndPushOnWebSocket();
            }
        }
    }
}