Merge API branch into main #12

Merged
SemvdH merged 334 commits from api into main 2023-06-13 19:54:43 +00:00
Showing only changes of commit b22d8228aa - Show all commits

View File

@@ -319,6 +319,7 @@
function check_ws_connection(ws) {
if (checked_for_connection == false)
{
console.log("Checking connection to API")
if (ws.readyState != WebSocket.OPEN) {
alert("Lost connection to API!")
document.getElementById("connectedlabel").innerHTML = "Not connected to drone";