downloading an OcrdFile will set the URL to the local_filename, fix #96

OCR-D · Jun 14, 2018 · 569d4b4 · 569d4b4
1 parent a32c904
commit 569d4b4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ocrd/workspace.py b/ocrd/workspace.py
@@ -72,6 +72,7 @@ def download_file(self, f, **kwargs):
             log.debug("Already downloaded: %s", f.local_filename)
         else:
             f.local_filename = self.download_url(f.url, **kwargs)
+        f.url = 'file://' + f.local_filename
         return f
 
     def download_files_in_group(self, file_grp):