fix ricerca streamingaltadefinizione (popcorn stream)

2019-10-20 20:53:19 +02:00
parent 925d2d2dd8
commit 1f46fd2737
3 changed files with 8 additions and 4 deletions
--- a/platformcode/updater.py
+++ b/platformcode/updater.py
@@ -243,11 +243,12 @@ def updateFromZip():
    try:
        hash = fixZipGetHash(localfilename)
        import zipfile
-        with zipfile.ZipFile(localfilename, "r") as zip_ref:
+        with zipfile.ZipFile(io.FileIO(localfilename), "r") as zip_ref:
            zip_ref.extractall(destpathname)
    except Exception as e:
        logger.info('Non sono riuscito ad estrarre il file zip')
        logger.info(e)
+        dp.close()
        return False

    dp.update(95)