PluginManager/PluginManager.py

changeset 6360
73033fa6a99c
parent 6267
350655a6c85f
child 6605
6ae78749babc
equal deleted inserted replaced
6359:e78be0616e6e 6360:73033fa6a99c
1136 downloadDir = self.__defaultDownloadDir 1136 downloadDir = self.__defaultDownloadDir
1137 1137
1138 if not os.path.exists(downloadDir): 1138 if not os.path.exists(downloadDir):
1139 try: 1139 try:
1140 os.mkdir(downloadDir, 0o755) 1140 os.mkdir(downloadDir, 0o755)
1141 except (OSError, IOError) as err: 1141 except (OSError, IOError):
1142 # try again with (possibly) new default 1142 # try again with (possibly) new default
1143 downloadDir = self.__defaultDownloadDir 1143 downloadDir = self.__defaultDownloadDir
1144 if not os.path.exists(downloadDir): 1144 if not os.path.exists(downloadDir):
1145 try: 1145 try:
1146 os.mkdir(downloadDir, 0o755) 1146 os.mkdir(downloadDir, 0o755)

eric ide

mercurial