Revision 3d2652fec08d0a2a9f429f4fbd7b4c40141bd53c authored by Aryeh Gregor on 14 April 2016, 13:43:40 UTC, committed by Aryeh Gregor on 18 April 2016, 11:44:54 UTC
1 parent b2e4d97
workers.js
function listenForMessages(t, worker) {
worker.addEventListener('message', t.step_func(function(e) {
if (e.data === 'done') {
t.done();
}
assert_unreached(e.data);
}), false);
}
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...