PluginManager/PluginManager.py

changeset 3020
542e97d4ecb3
parent 2992
dbdf27746da5
child 3022
57179e4cdadd
equal deleted inserted replaced
3019:7912530a33e2 3020:542e97d4ecb3
990 downloadDir = self.__defaultDownloadDir 990 downloadDir = self.__defaultDownloadDir
991 if not os.path.exists(downloadDir): 991 if not os.path.exists(downloadDir):
992 try: 992 try:
993 os.mkdir(downloadDir, 0o755) 993 os.mkdir(downloadDir, 0o755)
994 except (OSError, IOError) as err: 994 except (OSError, IOError) as err:
995 E5MessageBox.critical(self.__ui, 995 E5MessageBox.critical(
996 self.__ui,
996 self.trUtf8("Plugin Manager Error"), 997 self.trUtf8("Plugin Manager Error"),
997 self.trUtf8( 998 self.trUtf8(
998 """<p>The plugin download directory""" 999 """<p>The plugin download directory"""
999 """ <b>{0}</b> could not be created. Please""" 1000 """ <b>{0}</b> could not be created. Please"""
1000 """ configure it via the configuration""" 1001 """ configure it via the configuration"""

eric ide

mercurial