diff --git a/pytools/log.py b/pytools/log.py index b6fd24877e2c44b205978016c397cdbbf9f56af4..3e3a88dbb969b2ec9ab281e315ae0f43a6e49cfb 100644 --- a/pytools/log.py +++ b/pytools/log.py @@ -253,6 +253,8 @@ class LogManager(object): self.constants = {} + self.last_save_time = time() + # self-timing self.start_time = time() self.t_log = 0 @@ -485,6 +487,9 @@ class LogManager(object): insert_datapoint(gd.quantity.name, q_value) self.tick_count += 1 + if start_time > self.last_save_time + 15: + self.save() + end_time = time() # print watches @@ -497,6 +502,8 @@ class LogManager(object): if self.db_conn is not None: self.db_conn.commit() + self.last_save_time = time() + def add_quantity(self, quantity, interval=1): """Add an object derived from L{LogQuantity} to this manager.""" def add_internal(name, unit, description, def_agg):