--- a/eric6/WebBrowser/Sync/DirectorySyncHandler.py Tue Oct 13 19:02:26 2020 +0200 +++ b/eric6/WebBrowser/Sync/DirectorySyncHandler.py Wed Oct 14 17:50:39 2020 +0200 @@ -89,11 +89,11 @@ """ self.syncStatus.emit(type_, self._messages[type_]["RemoteExists"]) try: - f = open(os.path.join( - Preferences.getWebBrowser("SyncDirectoryPath"), - self._remoteFiles[type_]), "rb") - data = f.read() - f.close() + with open( + os.path.join(Preferences.getWebBrowser("SyncDirectoryPath"), + self._remoteFiles[type_]), "rb" + ) as f: + data = f.read() except IOError as err: self.syncStatus.emit( type_, @@ -125,11 +125,13 @@ return else: try: - f = open(os.path.join( - Preferences.getWebBrowser("SyncDirectoryPath"), - self._remoteFiles[type_]), "wb") - f.write(bytes(data)) - f.close() + with open( + os.path.join( + Preferences.getWebBrowser("SyncDirectoryPath"), + self._remoteFiles[type_]), "wb" + ) as f: + f.write(bytes(data)) + f.close() except IOError as err: self.syncStatus.emit( type_,