nitaku · December 30, 2015 19:09
diff --git a/.htaccess b/.htaccess
 Header set Access-Control-Allow-Origin "*"
diff --git a/README.md b/README.md
diff --git a/index.coffee b/index.coffee
 window.main = () ->
    ### get a reference to the Log DOM node ###
    log = document.getElementById('log')
    
    console.log 'Opening connection...'
    source = new EventSource('http://wafi.iit.cnr.it/webvis/examples/server_sent_events/sender.php')
    
    source.onopen = () ->
        console.log '...done.'
        
    source.addEventListener 'ping', ((e) ->
        ### callback for the 'ping' event ###
        
        obj = JSON.parse(e.data)
        
        newElement = document.createElement('li')
        newElement.innerHTML = "ping at #{obj.time}"
        log.insertBefore(newElement, log.firstChild)
        
        ), false
        
    source.onerror = (e) ->
        alert('EventSource failed!')
        
diff --git a/index.css b/index.css
 #log {
  font-family: sans-serif;
  font-size: 16pt;
  list-style-type: none;
  margin-top: 42px;
  color: black;
 }
 #log li {
  margin-bottom: 0.2em;
 }
 #log li + li {
  color: #555555;
 }
 #log li + li + li {
  color: #777777;
 }
 #log li + li + li + li {
  color: #999999;
 }
 #log li + li + li + li + li {
  color: #bbbbbb;
 }
 #log li + li + li + li + li + li {
  color: #dddddd;
 }
diff --git a/index.html b/index.html
 <!DOCTYPE html>
 <html>
    <head>
        <meta charset="utf-8">
        <title>Server-sent events</title>
        <link type="text/css" href="index.css" rel="stylesheet"/>
        <script src="index.js"></script>
    </head>
    <body onload="main()">
        <ol id="log"></ol>
    </body>
 </html>
diff --git a/index.js b/index.js
 (function() {

  window.main = function() {
    /* get a reference to the Log DOM node
    */
    var log, source;
    log = document.getElementById('log');
    console.log('Opening connection...');
    source = new EventSource('http://wafi.iit.cnr.it/webvis/examples/server_sent_events/sender.php');
    source.onopen = function() {
      return console.log('...done.');
    };
    source.addEventListener('ping', (function(e) {
      /* callback for the 'ping' event
      */
      var newElement, obj;
      obj = JSON.parse(e.data);
      newElement = document.createElement('li');
      newElement.innerHTML = "ping at " + obj.time;
      return log.insertBefore(newElement, log.firstChild);
    }), false);
    return source.onerror = function(e) {
      return alert('EventSource failed!');
    };
  };

 }).call(this);
diff --git a/index.sass b/index.sass
 #log
    font-family: sans-serif
    font-size: 16pt
    list-style-type: none
    margin-top: 42px
    color: black
    
    li
        margin-bottom: 0.2em
        
    li + li
        color: #555
    li + li + li
        color: #777
    li + li + li + li
        color: #999
    li + li + li + li + li
        color: #BBB
    li + li + li + li + li + li
        color: #DDD
        
diff --git a/sender.php b/sender.php
 <?php
 date_default_timezone_set("Europe/Rome");
 header("Content-Type: text/event-stream\n\n");

 while (1) {
  // Every second, send a "ping" event.
  
  echo "event: ping\n";
  $curDate = date(DATE_ISO8601);
  echo 'data: {"time": "' . $curDate . '"}';
  echo "\n\n";
  
  // Actually send the buffer
  ob_flush();
  flush();
  
  // Wait a second
  sleep(1);
 }
 ?>
diff --git a/thumbnail.png b/thumbnail.png
	window.main = () ->
	### get a reference to the Log DOM node ###
	log = document.getElementById('log')

	console.log 'Opening connection...'
	source = new EventSource('http://wafi.iit.cnr.it/webvis/examples/server_sent_events/sender.php')

	source.onopen = () ->
	console.log '...done.'

	source.addEventListener 'ping', ((e) ->
	### callback for the 'ping' event ###

	obj = JSON.parse(e.data)

	newElement = document.createElement('li')
	newElement.innerHTML = "ping at #{obj.time}"
	log.insertBefore(newElement, log.firstChild)

	), false

	source.onerror = (e) ->
	alert('EventSource failed!')
	#log {
	font-family: sans-serif;
	font-size: 16pt;
	list-style-type: none;
	margin-top: 42px;
	color: black;
	}
	#log li {
	margin-bottom: 0.2em;
	}
	#log li + li {
	color: #555555;
	}
	#log li + li + li {
	color: #777777;
	}
	#log li + li + li + li {
	color: #999999;
	}
	#log li + li + li + li + li {
	color: #bbbbbb;
	}
	#log li + li + li + li + li + li {
	color: #dddddd;
	}
	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<title>Server-sent events</title>
	<link type="text/css" href="index.css" rel="stylesheet"/>
	<script src="index.js"></script>
	</head>
	<body onload="main()">
	<ol id="log"></ol>
	</body>
	</html>
	(function() {

	window.main = function() {
	/* get a reference to the Log DOM node
	*/
	var log, source;
	log = document.getElementById('log');
	console.log('Opening connection...');
	source = new EventSource('http://wafi.iit.cnr.it/webvis/examples/server_sent_events/sender.php');
	source.onopen = function() {
	return console.log('...done.');
	};
	source.addEventListener('ping', (function(e) {
	/* callback for the 'ping' event
	*/
	var newElement, obj;
	obj = JSON.parse(e.data);
	newElement = document.createElement('li');
	newElement.innerHTML = "ping at " + obj.time;
	return log.insertBefore(newElement, log.firstChild);
	}), false);
	return source.onerror = function(e) {
	return alert('EventSource failed!');
	};
	};

	}).call(this);
	#log
	font-family: sans-serif
	font-size: 16pt
	list-style-type: none
	margin-top: 42px
	color: black

	li
	margin-bottom: 0.2em

	li + li
	color: #555
	li + li + li
	color: #777
	li + li + li + li
	color: #999
	li + li + li + li + li
	color: #BBB
	li + li + li + li + li + li
	color: #DDD
	<?php
	date_default_timezone_set("Europe/Rome");
	header("Content-Type: text/event-stream\n\n");

	while (1) {
	// Every second, send a "ping" event.

	echo "event: ping\n";
	$curDate = date(DATE_ISO8601);
	echo 'data: {"time": "' . $curDate . '"}';
	echo "\n\n";

	// Actually send the buffer
	ob_flush();
	flush();

	// Wait a second
	sleep(1);
	}
	?>