diff --git a/pytools/log.py b/pytools/log.py index b6eacd9eae9d1224863f60ce0c0ca5a9d630c203..66a06ddcc4af0f168e4148b98fca4d5691fbf21e 100644 --- a/pytools/log.py +++ b/pytools/log.py @@ -513,7 +513,12 @@ class LogManager(object): def save(self): if self.db_conn is not None: - self.db_conn.commit() + from sqlite3 import OperationalError + try: + self.db_conn.commit() + except OperationalError, e: + from warnings import warn + warn("encountered sqlite error during commit: %s" % e) self.last_save_time = time()