| commit | d5532affd8da87c88c3ea5cc7277b5fa24bff0df | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 28 15:19:51 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 28 15:19:51 2003 +0000 |
| tree | 6bebcf7ef964649c7d0df91a898fc2afda82f209 | |
| parent | f1728713cc29eeaca344daa64cffe2a07d40a1de [diff] [blame] |
Check modes on install and temporary directories. Fixes #693230.
diff --git a/Mac/Tools/IDE/PackageManager.py b/Mac/Tools/IDE/PackageManager.py index fb15aed..6f67923 100755 --- a/Mac/Tools/IDE/PackageManager.py +++ b/Mac/Tools/IDE/PackageManager.py
@@ -227,7 +227,7 @@ self.pimpdb.appendURL(url) except IOError, arg: return "Cannot open %s: %s" % (url, arg) - return None + return self.pimpprefs.check() def closepimp(self): self.pimpdb.close()