Mon Jun 2 14:20:14 CEST 2008

browser events

an annoying problem is two way synchronization of generated documents
and a browser:

  * browser should be notified whenever a source document changes so
    that it can refresh the doc.

  * whenver a browser refreshes / requests a doc, the server checks if
    the cache (compilation) is still valid.

i'd like to solve this problem for serving Scribble documentation. it
can probably be solved with a bit of javascript. the main question is
how to move events from server -> client? something i never understood

also: ramblings needs rss support.