annotate default/session/disconnect.html @ 84:b2ef34e602cf

base, js (websocket), css (main style): dynamic pages implementation, first draft: this patch introduces the browser part of dynamic pages. Dynamic pages work by establishing a websocket between server and the current page, if requested by server (which means that needed arguments are present in template). Once the connection is established, the server can, for now, reload the page, append HTML elements, or receive arbitrary data (without reloading the page, in opposition to data post). If connection can't be established, a popup will be displayed and connection will be retried many times after variable timeouts. The browser will finally give up and display an alert to client if the number of retries is too high (20 for now).
author Goffi <goffi@goffi.org>
date Wed, 03 Jan 2018 01:12:16 +0100
parents a6ec7f0fa877
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22
a6ec7f0fa877 default (disconnect): basic message for disconnection page
Goffi <goffi@goffi.org>
parents:
diff changeset
1 {% extends 'base/base.html' %}
a6ec7f0fa877 default (disconnect): basic message for disconnection page
Goffi <goffi@goffi.org>
parents:
diff changeset
2
a6ec7f0fa877 default (disconnect): basic message for disconnection page
Goffi <goffi@goffi.org>
parents:
diff changeset
3 {% block body %}
a6ec7f0fa877 default (disconnect): basic message for disconnection page
Goffi <goffi@goffi.org>
parents:
diff changeset
4 <p>{% trans %}You have been disconnected, have a nice day!{% endtrans %}</p>
a6ec7f0fa877 default (disconnect): basic message for disconnection page
Goffi <goffi@goffi.org>
parents:
diff changeset
5 {% endblock body %}