diff --git a/pytools/log.py b/pytools/log.py index 6f484d7969da8a37075814d93f689d23a234cb9e..b6fd24877e2c44b205978016c397cdbbf9f56af4 100644 --- a/pytools/log.py +++ b/pytools/log.py @@ -370,6 +370,8 @@ class LogManager(object): unit, description, loads(def_agg)) def close(self): + self.save() + if self.db_conn is not None: self.db_conn.close() @@ -493,7 +495,6 @@ class LogManager(object): def save(self): if self.db_conn is not None: - # then, to disk self.db_conn.commit() def add_quantity(self, quantity, interval=1):