web/app/src/components/jobs/JobsTable.vue

@@ -242,6 +242,12 @@ export default {
       }
 
       const tableHeight = availableHeight - tableContainer.offsetTop;
+      if (this.tabulator.element.clientHeight == tableHeight) {
+        // Setting the height on a tabulator triggers all kinds of things, so
+        // don't do if it not necessary.
+        return;
+      }
+
       this.tabulator.setHeight(tableHeight);
     },
   },

web/app/src/components/jobs/TasksTable.vue

@@ -226,6 +226,12 @@ export default {
       }
 
       const tableHeight = availableHeight - tableContainer.offsetTop;
+      if (this.tabulator.element.clientHeight == tableHeight) {
+        // Setting the height on a tabulator triggers all kinds of things, so
+        // don't do if it not necessary.
+        return;
+      }
+
       this.tabulator.setHeight(tableHeight);
     },
   }

web/app/src/views/JobsView.vue

@@ -152,8 +152,9 @@ export default {
       if (this.$refs.jobsTable) {
         this.$refs.jobsTable.processJobUpdate(jobUpdate);
       }
-      if (this.jobID != jobUpdate.id || jobUpdate.was_deleted)
+      if (this.jobID != jobUpdate.id || jobUpdate.was_deleted) {
         return;
+      }
 
       this._fetchJob(this.jobID);
       if (jobUpdate.refresh_tasks) {
@@ -231,7 +232,16 @@ export default {
           // Forward the full job to Tabulator, so that that gets updated too.
           this.$refs.jobsTable.processJobUpdate(job);
           this._recalcTasksTableHeight();
-        });
+        })
+        .catch((err) => {
+          if (err.status == 404) {
+            // It can happen that a job cannot be found, for example when it was asynchronously deleted.
+            this.jobs.deselectAllJobs();
+            return;
+          }
+          console.log(`Unable to fetch job ${jobID}:`, err);
+        })
+        ;
     },
 
     /**