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( |