summaryrefslogtreecommitdiff
path: root/js/codeq/core.js
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-23 17:48:01 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-02-24 13:10:46 +0100
commitfc90c0dd2d03a4e842a5f4df546da868850d9657 (patch)
tree49655e07741c4e57d57e137f7ddc7a2a14af4b36 /js/codeq/core.js
parent1dd4d473bb136c607eeea3a2d655b3f56e5aeee8 (diff)
Ensure a ~1 second delay before displaying test results
Diffstat (limited to 'js/codeq/core.js')
-rw-r--r--js/codeq/core.js17
1 files changed, 16 insertions, 1 deletions
diff --git a/js/codeq/core.js b/js/codeq/core.js
index 84bbfa8..b1d4a5c 100644
--- a/js/codeq/core.js
+++ b/js/codeq/core.js
@@ -329,8 +329,23 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */
});
},
- // codeq event handling
+ // resolve a promise not sooner than after [timeout] seconds
+ // from https://github.com/kriskowal/q/commit/681f6d201842d4b99bab5451ebc57ef0c3c0d49a
+ 'throttle': function (promise, timeout) {
+ if (timeout === undefined) {
+ timeout = promise;
+ promise = undefined;
+ }
+ var deferred = Q.defer();
+ Q.when(promise, undefined, undefined, deferred.notify);
+ setTimeout(function () {
+ deferred.resolve(promise);
+ }, timeout);
+ return deferred.promise;
+ },
+
+ // codeq event handling
'fire': function (eventName, args) {
queuedEvents.push({'name': eventName, 'args': args});
fireEvents();