From fc256e9e727bfe85fbf885cc65afa3b152430c71 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Wed, 17 Dec 2014 09:41:21 +0100
Subject: Remove terminated processes from expired clones

---
 threads.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'threads.js')

diff --git a/threads.js b/threads.js
index b80ee9e..6078f5b 100644
--- a/threads.js
+++ b/threads.js
@@ -83,7 +83,7 @@ ArgLabelMorph, localize, XML_Element, hex_sha512*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.threads = '2014-December-11';
+modules.threads = '2014-December-17';
 
 var ThreadManager;
 var Process;
@@ -234,7 +234,7 @@ ThreadManager.prototype.removeTerminatedProcesses = function () {
     // and un-highlight their scripts
     var remaining = [];
     this.processes.forEach(function (proc) {
-        if (!proc.isRunning() && !proc.errorFlag && !proc.isDead) {
+        if ((!proc.isRunning() && !proc.errorFlag) || proc.isDead) {
             if (proc.topBlock instanceof BlockMorph) {
                 proc.topBlock.removeHighlight();
             }
-- 
cgit v1.3.1