WebBrowser/GreaseMonkey/GreaseMonkeyDownloader.py

changeset 6360
73033fa6a99c
parent 6120
4c60a21ce6dd
child 6645
ad476851d7e0
equal deleted inserted replaced
6359:e78be0616e6e 6360:73033fa6a99c
89 WebBrowserTools.getFileNameFromUrl(self.__reply.url())) 89 WebBrowserTools.getFileNameFromUrl(self.__reply.url()))
90 self.__fileName = WebBrowserTools.ensureUniqueFilename(filePath) 90 self.__fileName = WebBrowserTools.ensureUniqueFilename(filePath)
91 91
92 try: 92 try:
93 f = open(self.__fileName, "w", encoding="utf-8") 93 f = open(self.__fileName, "w", encoding="utf-8")
94 except (IOError, OSError) as err: 94 except (IOError, OSError):
95 self.error.emit() 95 self.error.emit()
96 return 96 return
97 f.write(response) 97 f.write(response)
98 f.close() 98 f.close()
99 99
143 self.__manager.requireScriptsDirectory(), 143 self.__manager.requireScriptsDirectory(),
144 self.__fileName) 144 self.__fileName)
145 145
146 try: 146 try:
147 f = open(self.__fileName, "w", encoding="utf-8") 147 f = open(self.__fileName, "w", encoding="utf-8")
148 except (IOError, OSError) as err: 148 except (IOError, OSError):
149 self.error.emit() 149 self.error.emit()
150 return 150 return
151 f.write(response) 151 f.write(response)
152 f.close() 152 f.close()
153 153

eric ide

mercurial