public static Port <DateTime> TimeoutPort(this DispatcherQueue TaskQueue, TimeSpan ts) { Port <DateTime> port = new Port <DateTime>(); TaskQueue.EnqueueTimer(ts, port); return(port); }