| 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 |