Last git pull made

2026-04-20 21:35:50 +00:00 · 2021-10-07 17:05:14 +01:00
parent 15840100a2 a09aad0649
commit 2cc4fae985
41 changed files with 695 additions and 351 deletions
@@ -10016,6 +10016,8 @@ function getDocument(src) {

  var docId = task.docId;
  worker.promise.then(function () {
+
+    
    if (task.destroyed) {
      throw new Error('Loading aborted');
    }