From e1a558a6739a59085e95161827662512a6d7fa78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jens=20M=C3=B6nig?= Date: Sat, 28 Feb 2015 05:58:34 -0800 Subject: [PATCH] fixed #715 --- history.txt | 3 ++- threads.js | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/history.txt b/history.txt index 21d038cd..bc49af26 100755 --- a/history.txt +++ b/history.txt @@ -2455,4 +2455,5 @@ ______ 150228 ------ * Blocks, Store, GUI: Cache inputs, accelerates evaluating recursive reporters and warped / turbo recursive commands by up to 40% -* Objects: slightly optimize warped / turbo execution +* Objects: slightly optimize warped / turbo execution +* Threads: fixed #715 diff --git a/threads.js b/threads.js index e07059fd..50af8dde 100644 --- a/threads.js +++ b/threads.js @@ -83,7 +83,7 @@ ArgLabelMorph, localize, XML_Element, hex_sha512*/ // Global stuff //////////////////////////////////////////////////////// -modules.threads = '2015-January-12'; +modules.threads = '2015-February-28'; var ThreadManager; var Process; @@ -1926,7 +1926,7 @@ Process.prototype.reportTypeOf = function (thing) { if (thing === true || (thing === false)) { return 'Boolean'; } - if (!isNaN(parseFloat(thing))) { + if (!isNaN(+thing)) { return 'number'; } if (isString(thing)) {