mirror of
https://git.ianrenton.com/ian/spothole.git
synced 2026-09-20 14:27:42 +00:00
Use _stop_event consistently across all threads as the way to signal that it should stop. Add thread joins with timeouts to allow the program to exit cleanly
This commit is contained in:
@@ -77,7 +77,7 @@
|
||||
|
||||
</div>
|
||||
|
||||
<script src="/static/js/add-spot.js?v=1789714736"></script>
|
||||
<script src="/static/js/add-spot.js?v=1789719698"></script>
|
||||
<script>$(document).ready(function () {
|
||||
$("#nav-link-add-spot").addClass("active");
|
||||
}); <!-- highlight active page in nav --></script>
|
||||
|
||||
@@ -83,7 +83,7 @@
|
||||
|
||||
</div>
|
||||
|
||||
<script src="/static/js/alerts.js?v=1789714736"></script>
|
||||
<script src="/static/js/alerts.js?v=1789719698"></script>
|
||||
<script>$(document).ready(function () {
|
||||
$("#nav-link-alerts").addClass("active");
|
||||
}); <!-- highlight active page in nav --></script>
|
||||
|
||||
@@ -76,8 +76,8 @@
|
||||
|
||||
</div>
|
||||
|
||||
<script src="/static/js/spotsbandsandmap.js?v=1789714736"></script>
|
||||
<script src="/static/js/bands.js?v=1789714736"></script>
|
||||
<script src="/static/js/spotsbandsandmap.js?v=1789719698"></script>
|
||||
<script src="/static/js/bands.js?v=1789719698"></script>
|
||||
<script>$(document).ready(function () {
|
||||
$("#nav-link-bands").addClass("active");
|
||||
}); <!-- highlight active page in nav --></script>
|
||||
|
||||
+5
-5
@@ -1,6 +1,6 @@
|
||||
{% extends "skeleton.html" %}
|
||||
{% block head_extra %}
|
||||
<link rel="stylesheet" href="/static/css/style.css?v=1789714735" type="text/css">
|
||||
<link rel="stylesheet" href="/static/css/style.css?v=1789719698" type="text/css">
|
||||
<link href="/static/vendor/css/bootstrap-5.3.8.min.css" rel="stylesheet">
|
||||
<link href="/static/vendor/css/fontawesome-6.7.2.min.css" rel="stylesheet">
|
||||
<link href="/static/vendor/css/solid-6.7.2.min.css" rel="stylesheet">
|
||||
@@ -16,10 +16,10 @@
|
||||
window.fetchEventSource = fetchEventSource;
|
||||
</script>
|
||||
|
||||
<script src="/static/js/utils.js?v=1789714735"></script>
|
||||
<script src="/static/js/ui-ham.js?v=1789714735"></script>
|
||||
<script src="/static/js/geo.js?v=1789714735"></script>
|
||||
<script src="/static/js/common.js?v=1789714735"></script>
|
||||
<script src="/static/js/utils.js?v=1789719698"></script>
|
||||
<script src="/static/js/ui-ham.js?v=1789719698"></script>
|
||||
<script src="/static/js/geo.js?v=1789719698"></script>
|
||||
<script src="/static/js/common.js?v=1789719698"></script>
|
||||
{% end %}
|
||||
{% block body %}
|
||||
<div class="container">
|
||||
|
||||
@@ -284,7 +284,7 @@
|
||||
</div>
|
||||
|
||||
<script src="/static/vendor/js/chart-4.4.9.umd.min.js"></script>
|
||||
<script src="/static/js/conditions.js?v=1789714736"></script>
|
||||
<script src="/static/js/conditions.js?v=1789719698"></script>
|
||||
<script>$(document).ready(function () {
|
||||
$("#nav-link-conditions").addClass("active");
|
||||
}); <!-- highlight active page in nav --></script>
|
||||
|
||||
+2
-2
@@ -113,8 +113,8 @@
|
||||
const CARTODB_API_KEY = "{{ web_ui_options.get('cartodb_api_key', '') }}";
|
||||
</script>
|
||||
|
||||
<script src="/static/js/spotsbandsandmap.js?v=1789714736"></script>
|
||||
<script src="/static/js/map.js?v=1789714736"></script>
|
||||
<script src="/static/js/spotsbandsandmap.js?v=1789719698"></script>
|
||||
<script src="/static/js/map.js?v=1789719698"></script>
|
||||
<script>$(document).ready(function () {
|
||||
$("#nav-link-map").addClass("active");
|
||||
}); <!-- highlight active page in nav --></script>
|
||||
|
||||
@@ -125,8 +125,8 @@
|
||||
|
||||
</div>
|
||||
|
||||
<script src="/static/js/spotsbandsandmap.js?v=1789714735"></script>
|
||||
<script src="/static/js/spots.js?v=1789714735"></script>
|
||||
<script src="/static/js/spotsbandsandmap.js?v=1789719698"></script>
|
||||
<script src="/static/js/spots.js?v=1789719698"></script>
|
||||
<script>$(document).ready(function () {
|
||||
$("#nav-link-spots").addClass("active");
|
||||
}); <!-- highlight active page in nav --></script>
|
||||
|
||||
@@ -96,7 +96,7 @@
|
||||
</div>
|
||||
</div>
|
||||
|
||||
<script src="/static/js/status.js?v=1789714736"></script>
|
||||
<script src="/static/js/status.js?v=1789719698"></script>
|
||||
<script>
|
||||
$(document).ready(function () {
|
||||
$("#nav-link-status").addClass("active");
|
||||
|
||||
Reference in New Issue
Block a user