<head>
<meta charset="UTF-8">
<script>
-
const RETRY_INTERVAL_S = 5;
const PATH_EVENTS = "/{{page_names.events}}";
const PATH_PLAYER = "/{{page_names.player}}";
var events_params = "";
var events_stream = null;
+function new_child_to(tag, parent, textContent='') {
+ const el = document.createElement(tag);
+ parent.appendChild(el);
+ el.textContent = textContent;
+ return el;
+}
+
window.addEventListener(
"beforeunload", function() {
if (events_stream) {
{% if display_name %}{{display_name}}{% else %}{{target}}{% endif %}
{% if cond %}</a>{% endif %}
{% endmacro %}
-
-
-{% macro js_new_child_to() %}
-function new_child_to(tag, parent, textContent='') {
- const el = document.createElement(tag);
- parent.appendChild(el);
- el.textContent = textContent;
- return el; }
-{% endmacro %}
{% block script %}
-{{ macros.js_new_child_to() }}
const PATH_FILES_JSON = "/{{page_names.files_json}}";
const all_tags = {{showable_tags|tojson|safe}};
{% block script %}
-{{ macros.js_new_child_to() }}
const CLS_PLAYLIST_ROW = 'playlist_row';
events_params += 'playlist=1';