annotate default/ticket/tickets.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 ea67eba3199d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
56
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 {% extends 'base/base.html' %}
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
2 {% import 'input/xmlui.html' as xmlui with context %}
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
3
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
4 {% block body %}
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
5 <div id="tickets">
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
6 {% for ticket in tickets %}
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
7 <div class="ticket_full">
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
8 {{ xmlui.generate(ticket) }}
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
9 </div>
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
10 {% endfor %}
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
11 </div>
ea67eba3199d ticket: first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
12 {% endblock body %}