Esempio n. 1
0
    def loadListIfModified(self, index):
        MM_util.loadindex(index)
        mtime = os.path.getmtime("%s.dat" % index)
        lastTime = self.listLastLoaded[index]

        if mtime > lastTime:
            self.listLastLoaded[index] = time.time()
            list = MM_util.loadlist(index)

            if index == "ident":
                MM_util.idList = list
            return list