Helpviewer/GreaseMonkey/GreaseMonkeyDownloader.py

changeset 1954
5072605ad4dd
parent 1953
26aa6fd94dc2
child 2302
f29e9405c851
equal deleted inserted replaced
1953:26aa6fd94dc2 1954:5072605ad4dd
62 filePath = os.path.join(self.__manager.scriptsDirectory(), 62 filePath = os.path.join(self.__manager.scriptsDirectory(),
63 HelpUtilities.getFileNameFromUrl(self.__reply.url())) 63 HelpUtilities.getFileNameFromUrl(self.__reply.url()))
64 self.__fileName = HelpUtilities.ensureUniqueFilename(filePath) 64 self.__fileName = HelpUtilities.ensureUniqueFilename(filePath)
65 65
66 try: 66 try:
67 f = open(self.__fileName, "w") 67 f = open(self.__fileName, "w", encoding="utf-8")
68 except (IOError, OSError) as err: 68 except (IOError, OSError) as err:
69 E5MessageBox.critical(None, 69 E5MessageBox.critical(None,
70 self.trUtf8("GreaseMonkey Download"), 70 self.trUtf8("GreaseMonkey Download"),
71 self.trUtf8("""<p>The file <b>{0}</b> could not be opened""" 71 self.trUtf8("""<p>The file <b>{0}</b> could not be opened"""
72 """ for writing.<br/>Reason: {1}</p>""").format( 72 """ for writing.<br/>Reason: {1}</p>""").format(
109 filePath = os.path.join(self.__manager.requireScriptsDirectory(), 109 filePath = os.path.join(self.__manager.requireScriptsDirectory(),
110 "require.js") 110 "require.js")
111 fileName = HelpUtilities.ensureUniqueFilename(filePath, "{0}") 111 fileName = HelpUtilities.ensureUniqueFilename(filePath, "{0}")
112 112
113 try: 113 try:
114 f = open(fileName, "w") 114 f = open(fileName, "w", encoding="utf-8")
115 except (IOError, OSError) as err: 115 except (IOError, OSError) as err:
116 E5MessageBox.critical(None, 116 E5MessageBox.critical(None,
117 self.trUtf8("GreaseMonkey Download"), 117 self.trUtf8("GreaseMonkey Download"),
118 self.trUtf8("""<p>The file <b>{0}</b> could not be opened""" 118 self.trUtf8("""<p>The file <b>{0}</b> could not be opened"""
119 """ for writing.<br/>Reason: {1}</p>""").format( 119 """ for writing.<br/>Reason: {1}</p>""").format(

eric ide

mercurial