928adf7adf37dfbc2d98cc61f00c673314b49277
1 var API_HOST
= "http://127.0.0.1:5001";
2 var ERROR_ALERT
= true;
7 function updateMessageTable(msg_list
) {
11 function updateMessageCount(msg_list
) {
12 $("#lbl_msg_count").text(msg_list
.length
);
15 function fetchMessages() {
20 function autoFetchMessages() {
24 setTimeout(autoFetchMessages
, AUTO_REFRESH_INTERVAL
);
27 function updateLateness() {
28 lateness
= (Date
.now() - LAST_UPDATE_TIMESTAMP
) / 1000;
29 $("#lbl_lateness").text("Lateness: " + Number(lateness
).toPrecision(3) + "s")
30 setTimeout(updateLateness
, LATENESS_UPDATE_INTERVAL
)
33 function errorAjaxConnection()
40 bootbox
.alert("ERROR!\nAPI request failed.\n\n Please check the backend connection.", function() {
47 function change_auto_refresh(event
)
49 console
.debug("trigger btn_auto_refresh");
50 AUTO_REFRESH
= !AUTO_REFRESH
;
52 $("#btn_autorefresh").addClass("active");
56 $("#btn_autorefresh").removeClass("active");
61 $(document
).ready(function(){
62 console
.info("document ready");
63 // setup global connection error handling
65 "error": errorAjaxConnection
71 // activate message fetching
73 LAST_UPDATE_TIMESTAMP
= Date
.now();
77 // refresh on window focus
78 $(window
).focus(function () {
79 // TODO observe if this works well