Git pull made

This commit is contained in:
Eudes Inácio
2021-09-30 15:47:38 +01:00
6 changed files with 33 additions and 7 deletions
+5 -1
View File
@@ -9928,6 +9928,8 @@ function getDocument(src) {
source = src;
}
console.log('source================================================', source)
var params = Object.create(null);
var rangeTransport = null,
worker = null;
@@ -10000,7 +10002,9 @@ function getDocument(src) {
}
(0, _util.setVerbosityLevel)(params.verbosity);
console.log('params=======================', params)
if (!worker) {
var workerParams = {
verbosity: params.verbosity,