Only remove temporary directory if it (still) exists

1 files changed, 3 insertions, 2 deletions

diff --git a/seivot b/seivot
index af07d9b..a6588c1 100755
--- a/seivot
+++ b/seivot
@@ -523,8 +523,9 @@ class Seivot(cliapp.Application):
         self.report.add_measurement(func.__name__, nth_gen, measurement)
 
     def cleanup(self):
-        logging.info('Removing temporary directory %s' % self.tempdir)
-        shutil.rmtree(self.tempdir)
+        if os.path.exists(self.tempdir):
+            logging.info('Removing temporary directory %s' % self.tempdir)
+            shutil.rmtree(self.tempdir)
 
     def disk_usage(self, pathname):
         '''Simulate du(1). Return disk usage in bytes.'''