HTML5 Server-Sent Events and Snippets

if(typeof(EventSource)!=="undefined")
  {
  var datesource=new EventSource("js/datetime.php");
  datesource.onmessage=function(event)
    {
   var data = event.data.split('\n');
  updateStocks(data[0], data[1]);
    };	
function updateStocks(date, time) { 
     document.getElementById("headerdate").innerHTML=date;
     document.getElementById("headertime").innerHTML=time;
 }
  }
else
  {
  document.getElementById("headertime").innerHTML="error";
document.getElementById("headerdate").innerHTML="error";
  }

var source=new EventSource("[[myScode]]");