React to project deletion

lib/www/client/source/src/views/Project.vue

@@ -40,6 +40,15 @@ export default {
     ...mapGetters(["loading", "projectId", "serverEvent"])
   },
 
+  watch: {
+    async serverEvent (event) {
+      if (event.channel == "project" && event.payload?.operation == "DELETE" && event.payload?.schema == "public") {
+        // Project potentially deleted
+        await this.getProject(this.$route.params.project);
+      }
+    }
+  },
+
   methods: {
     ...mapActions(["getProject"])
   },