[EventSource.php] PHP实现EventSource服务端。

EventSource.php

<?php
header("Access-Control-Allow-Origin: *");
header('Content-Type: text/event-stream');
header('Cache-Control: no-cache');

function esFlush($msg){
    echo "data: ", $msg, "\n\n";
    flush();
}

function lastEventId(){
  $lastEventId = floatval(isset($_SERVER["HTTP_LAST_EVENT_ID"]) ? $_SERVER["HTTP_LAST_EVENT_ID"] : 0);

  if ($lastEventId == 0) {
      $lastEventId = floatval(isset($_GET["lastEventId"]) ? $_GET["lastEventId"] : 0);
  }
}

lastEventId = lastEventId();
esFlush('Hello EventSource! + '.$lastEventId);

# end of this file