Mercurial > libervia-web
diff public/libervia.html @ 158:58442ed28f2b
browser side: basic disconnection management: hard reload is done on empty signal response
author | Goffi <goffi@goffi.org> |
---|---|
date | Sat, 05 Jan 2013 16:08:25 +0100 |
parents | 0a7c685faa53 |
children | 41a386a27002 |