- commit
- ffd301b1db506ba07aed884a4bdca7da172b23a8
- parent
- 6e76a38414b6c30344e53ef8afc50def1caf1a4f
- Author
- Tobias Bengfort <tobias.bengfort@posteo.de>
- Date
- 2017-11-18 10:33
rm delegations for deleted node on client server already does the right thing
Diffstat
| M | static/src/voterunner.js | 3 | +++ |
1 files changed, 3 insertions, 0 deletions
diff --git a/static/src/voterunner.js b/static/src/voterunner.js
@@ -283,6 +283,9 @@ document.addEventListener('DOMContentLoaded', function() {
283 283
284 284 socket.on('rmNode', function(id) {
285 285 nodes = nodes.filter(function(node) {
-1 286 if (node.delegate === id) {
-1 287 node.delegate = null;
-1 288 }
286 289 return node.id !== id;
287 290 });
288 291 invalidateVotes();