diff --git a/web/app/src/App.vue b/web/app/src/App.vue
index 65780bfd..0eb4a9ab 100644
--- a/web/app/src/App.vue
+++ b/web/app/src/App.vue
@@ -1,5 +1,5 @@
-
+ {{ flamencoName }}version: {{ flamencoVersion }}
@@ -11,18 +11,21 @@
@@ -101,6 +123,11 @@ header {
color: #EEE;
}
+header span.flamenco-version {
+ float: right;
+ font-size: small;
+}
+
h2.column-title {
margin-top: 0;
font-size: 12pt;
diff --git a/web/app/src/components/UpdateListener.vue b/web/app/src/components/UpdateListener.vue
index 4e359689..802941e7 100644
--- a/web/app/src/components/UpdateListener.vue
+++ b/web/app/src/components/UpdateListener.vue
@@ -7,7 +7,12 @@ import io from "socket.io-client";
import * as API from "../manager-api"
export default {
- emits: ["jobUpdate", "taskUpdate", "message", "reconnected"],
+ emits: [
+ // Data from Flamenco Manager:
+ "jobUpdate", "taskUpdate", "message",
+ // SocketIO events:
+ "sioReconnected", "sioDisconnected"
+ ],
props: ["websocketURL"],
data() {
return {
@@ -42,9 +47,13 @@ export default {
console.log("socketIO connection timeout:", timeout);
});
+ this.socket.on("disconnect", (reason) => {
+ console.log("socketIO disconnected:", reason);
+ this.$emit("sioDisconnected", reason);
+ });
this.socket.on("reconnect", (attemptNumber) => {
console.log("socketIO reconnected after", attemptNumber, "attempts");
- this.$emit("reconnected");
+ this.$emit("sioReconnected", attemptNumber);
});
this.socket.on("/jobs", (jobUpdate) => {