4870: Do not attempt to archive a media file that does not have read permission

svn: r17358
This commit is contained in:
Nick Hall 2011-04-30 18:33:40 +00:00
parent 0c851719e7
commit db4c8f138a

View File

@ -184,7 +184,7 @@ class PackageWriter(object):
mobject = self.db.get_object_from_handle(m_id) mobject = self.db.get_object_from_handle(m_id)
filename = Utils.media_path_full(self.db, mobject.get_path()) filename = Utils.media_path_full(self.db, mobject.get_path())
archname = str(mobject.get_path()) archname = str(mobject.get_path())
if os.path.isfile(filename): if os.path.isfile(filename) and os.access(filename, os.R_OK):
archive.add(filename, archname) archive.add(filename, archname)
# else: # else:
# # File is lost => ask what to do # # File is lost => ask what to do