search

maflcko / wiki-java-tools

Collection of tools for MediaWiki in Java
26 stars 21 forks source link

[Imker] Exception #44

Open real68er opened 2 years ago

real68er commented 2 years ago

Version: v16.09.13 Stack trace:

java.util.zip.ZipException: Not in GZIP format
    at java.util.zip.GZIPInputStream.readHeader(Unknown Source)
    at java.util.zip.GZIPInputStream.<init>(Unknown Source)
    at java.util.zip.GZIPInputStream.<init>(Unknown Source)
    at wiki.Wiki.fetch(Unknown Source)
    at wiki.Wiki.getImage(Unknown Source)
    at wiki.Wiki.getImage(Unknown Source)
    at app.ImkerBase$1.fetch(Unknown Source)
    at app.App.attemptFetch(Unknown Source)
    at app.App.attemptFetch(Unknown Source)
    at app.App.attemptFetch(Unknown Source)
    at app.ImkerBase.downloadLoop(Unknown Source)
    at app.ImkerGUI$4.doInBackground(Unknown Source)
    at app.ImkerGUI$4.doInBackground(Unknown Source)
    at javax.swing.SwingWorker$1.call(Unknown Source)
    at java.util.concurrent.FutureTask.run(Unknown Source)
    at javax.swing.SwingWorker.run(Unknown Source)
    at java.util.concurrent.ThreadPoolExecutor.runWorker(Unknown Source)
    at java.util.concurrent.ThreadPoolExecutor$Worker.run(Unknown Source)
    at java.lang.Thread.run(Unknown Source)
JoKalliauer commented 2 years ago

VicuñaUploader had the same problem and solved it: https://github.com/yarl/vicuna/pull/172

Further links: (thanks to @Nightflyer )

JoKalliauer commented 2 years ago

Reported upstream: https://phabricator.wikimedia.org/T298340