From 6904612d97d72bc0dccfc371115fa300eb3934d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Langa?= <lukasz@langa.pl>
Date: Tue, 12 Feb 2013 09:56:19 +0100
Subject: [PATCH] use `discard` instead of `remove`in the `missing_paths` set

---
 src/bitrot.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bitrot.py b/src/bitrot.py
index 4e62d42..37ed6dd 100644
--- a/src/bitrot.py
+++ b/src/bitrot.py
@@ -93,7 +93,7 @@ def run(verbosity=1):
                 "%Y-%m-%d %H:%M:%S%z"
             )
             p_uni = p.decode('utf8')
-            missing_paths.remove(p_uni)
+            missing_paths.discard(p_uni)
             cur.execute('SELECT mtime, hash, timestamp FROM bitrot WHERE '
                         'path=?', (p_uni,))
             row = cur.fetchone()