OLD | NEW |
1 <?php | 1 <?php |
2 header("Content-Type: text/event-stream"); | 2 header("Content-Type: text/event-stream"); |
3 $lastEventId = $_SERVER['HTTP_LAST_EVENT_ID']; | 3 $lastEventId = $_SERVER['HTTP_LAST_EVENT_ID']; |
4 | 4 |
5 if ($lastEventId) | 5 if ($lastEventId) |
6 echo "data: $lastEventId\n\n"; | 6 echo "data: $lastEventId\n\n"; |
7 else { | 7 else { |
8 echo "id: 77\n"; | 8 # Include a non-ASCII character to test the client encodes it correctly. |
| 9 echo "id: 77☃\n"; |
9 echo "retry: 300\n"; | 10 echo "retry: 300\n"; |
10 echo "data: hello\n\n"; | 11 echo "data: hello\n\n"; |
11 echo "data: discarded"; | 12 echo "data: discarded"; |
12 } | 13 } |
13 ?> | 14 ?> |
OLD | NEW |