A Code Example of HTML5 Server-sent Events: Server Time Updates