gitea-actionsandClaude Opus 5
5052a48611
Detekce vracela jedinou adresu podle výchozí trasy. Když ta nevede tam, kam je připojený telefon, QR kód míří do prázdna a nezbývá než sahat do konfigurace. Při ladění se ukázalo i to, že záložní větev může vrátit 127.0.0.1, tedy QR kód na localhost. - net.py hledá adresy všech rozhraní přes if_nameindex a ioctl, se zálohou přes getaddrinfo; DICE_HOST má poslední slovo - řadí se podle rozsahu adresy a obecného typu rozhraní, ne podle seznamu konkrétních jmen: výchozí trasa, místní sítě, tailnet, virtuální sítě - loopback a link-local vypadnou, nic dalšího se nezahazuje — o tom, co funguje, rozhoduje člověk u stolu - tailnet adresu vědomě necháváme: funguje i napříč sítěmi - adresy se hledají při každém načtení; když se notebook přesune na jinou síť, tabule to pozná podle data-address a načte se znovu - když se nenajde nic, tabule řekne, co s tím, místo QR kódu naslepo - 20 testů nad klasifikací a řazením, nezávislých na aktuální síti - README doplněn o řešení potíží s připojením Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
42 lines
1.3 KiB
HTML
42 lines
1.3 KiB
HTML
{% extends "base.html" %}
|
|
{% block title %}Zápisník — hra {{ game_id }}{% endblock %}
|
|
|
|
{% block body %}
|
|
<div class="board">
|
|
<header class="masthead">
|
|
<div id="head" data-address="{{ primary_ip }}">{% include "_head.html" %}</div>
|
|
{% include "_join.html" %}
|
|
</header>
|
|
|
|
<div id="sheet">{% include "_sheet.html" %}</div>
|
|
</div>
|
|
|
|
<script>
|
|
// Tabule se doptává serveru; není co udržovat na klientovi.
|
|
const url = "{{ url_for('board_panel', game_id=game_id) }}";
|
|
|
|
setInterval(async () => {
|
|
try {
|
|
const response = await fetch(url, { cache: "no-store" });
|
|
if (!response.ok) return;
|
|
|
|
const fresh = new DOMParser().parseFromString(await response.text(), "text/html");
|
|
|
|
// Notebook se přesunul na jinou síť — adresa v QR kódu už neplatí.
|
|
const head = fresh.getElementById("head");
|
|
if (head && head.dataset.address !== document.getElementById("head").dataset.address) {
|
|
location.reload();
|
|
return;
|
|
}
|
|
|
|
for (const id of ["head", "sheet"]) {
|
|
const updated = fresh.getElementById(id);
|
|
if (updated) document.getElementById(id).replaceWith(updated);
|
|
}
|
|
} catch (error) {
|
|
// Server je pryč — zkusíme to za dvě vteřiny znovu.
|
|
}
|
|
}, 2000);
|
|
</script>
|
|
{% endblock %}
|