From f62008485fecfd246beb7debf0a868f6a43be456 Mon Sep 17 00:00:00 2001
From: ezsh <ezsh.junk@gmail.com>
Date: Wed, 20 May 2020 00:35:57 +0200
Subject: [PATCH] Clean old assignment record when assinging a new job
removeJob() does not only clean the assignment, but also sets a new one
(e.g. "rest"), so we have to remove the slave from that set.
Fixes #1808.
---
src/js/assignJS.js | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/js/assignJS.js b/src/js/assignJS.js
index 73511017d46..cfad1dae9d0 100644
--- a/src/js/assignJS.js
+++ b/src/js/assignJS.js
@@ -8,7 +8,7 @@
globalThis.assignJob = function(slave, job) {
"use strict";
let r = "";
- let oldJob = slave.assignment;
+ const oldJob = slave.assignment;
// handle non-exclusive pseudo-assignments as special cases
if (job === Job.PIT) {
@@ -402,6 +402,7 @@ globalThis.assignJob = function(slave, job) {
break;
}
+ V.JobIDMap[oldJob].delete(slave.ID);
V.JobIDMap[slave.assignment].add(slave.ID);
if (!assignmentVisible(slave) && Array.isArray(V.personalAttention)) {
--
GitLab