- def __init__(self):
- self.seen_list = set()
- for filename in DOWNLOAD_HISTORY_FILES:
- if os.path.isfile(filename):
- break
- else:
- filename = DOWNLOAD_HISTORY_FILES[0]
- try:
- self.f = open(filename, "r")
- for line in self.f:
- self.seen_list.add(line.decode("utf-8").strip())
- self.f.close()
- except Exception, e:
- print >>sys.stderr, "Could not open:", filename, e
- self.f = open(filename, "a")
-
- def has_seen(self, node):
- return node.title in self.seen_list
-
- def mark_seen(self, node):
- self.seen_list.add(node.title)
- self.f.write(node.title.encode("utf-8") + "\n")
- self.f.flush()
+ def __init__(self):
+ self.seen_list = set()
+ for filename in DOWNLOAD_HISTORY_FILES:
+ if os.path.isfile(filename):
+ break
+ else:
+ filename = DOWNLOAD_HISTORY_FILES[0]
+ try:
+ self.f = open(filename, "r")
+ for line in self.f:
+ self.seen_list.add(line.decode("utf-8").strip())
+ self.f.close()
+ except Exception, e:
+ print >>sys.stderr, "Could not open:", filename, e
+ self.f = open(filename, "a")
+
+ def has_seen(self, node):
+ return node.title in self.seen_list
+
+ def mark_seen(self, node):
+ self.seen_list.add(node.title)
+ self.f.write(node.title.encode("utf-8") + "\n")
+ self.f.flush()