| 12
 3
 4
 5
 6
 7
 8
 9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 
 |         private DispatcherTimer localDispatcherTimer;
        private BackgroundWorker localWorker;
 
        public RealTimeManager()
        {
            localDispatcherTimer = new DispatcherTimer();
            localWorker = new BackgroundWorker();
            localWorker.DoWork += new DoWorkEventHandler(LocalDoWork);
            localWorker.RunWorkerCompleted += new RunWorkerCompletedEventHandler(LocalWorkerCompleted);
            localDispatcherTimer.Tick += new EventHandler(LocalTimerTick);
            localDispatcherTimer.Interval = new TimeSpan(5000000);
            localDispatcherTimer.Start();
        }
 
        void LocalTimerTick(object sender, EventArgs e)
        {
            if (!localWorker.IsBusy)
                localWorker.RunWorkerAsync();
        }
 
        void LocalDoWork(object sender, DoWorkEventArgs e)
        {
             //Traitements sur les objets
        } | 
Partager