in FileReader.py [0:0]
def useFileURI(self, fileURI): if self.getFileURI() == fileURI: return if self.isOpen(): self.close() self.cols = [] self.fileURI = fileURI self.open()