From 447915af9da0c2eae8764fb2f5bb4bb4a396a259 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sun, 9 Oct 2022 11:48:50 +0200
Subject: [PATCH] Stop sending the unused `source.url` property in
 "GetDocRequest"

It seems that this property became *effectively* unused already in PR 8617, however we missed removing it as part of the clean-up in PR 10376.
---
 src/display/api.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/display/api.js b/src/display/api.js
index b7914fe10..a4e278a5b 100644
--- a/src/display/api.js
+++ b/src/display/api.js
@@ -512,7 +512,6 @@ async function _fetchDocument(worker, source, pdfDataRangeTransport, docId) {
       // Only send the required properties, and *not* the entire object.
       source: {
         data: source.data,
-        url: source.url,
         password: source.password,
         disableAutoFetch: source.disableAutoFetch,
         rangeChunkSize: source.rangeChunkSize,