- From: Dmitry Turin <html60@narod.ru>
- Date: Thu, 7 Feb 2008 13:10:13 +0200
- To: public-html@w3.org
Anne,
AvK> http://labs.opera.com/news/2006/09/01/
Am i understand right, that it's supposed to use one
server-side script to generate primary html-document
and server's event after document ?
I.e. something like the following,
where '...' means generation of html-document.
#!/usr/bin/python
import sys
import time
...
print "Content-Type: application/x-dom-event-stream\n\n"
while True:
print "Event: server-time"
print "data: %f\n" % (time.time(),)
sys.stdout.flush()
time.sleep(3)
If all, what i have said, is correct,
then it's easier to extract single string during
generation of document, i.e.
print "<head> <meta name=register content=785> </head>"
that browser itself make all,
than to write difficalt (for non-programmers) script
and put it instead of mentioned single line.
print "<style type="text/css">
document.getElementsByTagName("event-source")[0]
.addEventListener("server-time", eventHandler, false);
function eventHandler(event) {
alert(event.data);
}
</style>
"
Right ?
Dmitry Turin
HTML6 (6. 5.3) http://html60.euro.ru
SQL5 (5.11.0) http://sql50.euro.ru
Unicode7 (7. 2.1) http://unicode70.euro.ru
Computer2 (2. 0.2) http://computer20.euro.ru
Received on Thursday, 7 February 2008 11:08:39 UTC