Adjust planner times from runner.

Fixes #167.
This commit is contained in:
D. Berge
2022-05-01 20:27:19 +02:00
parent d607b4618a
commit 40d96230d2
2 changed files with 16 additions and 0 deletions

View File

@@ -679,6 +679,21 @@ class Datastore:
# We do not commit if we've been passed a cursor, instead # We do not commit if we've been passed a cursor, instead
# we assume that we are in the middle of a transaction # we assume that we are in the middle of a transaction
def adjust_planner(self, cursor = None):
"""
Adjust estimated times on the planner
"""
if cursor is None:
cur = self.conn.cursor()
else:
cur = cursor
qry = "CALL adjust_planner();"
cur.execute(qry)
if cursor is None:
self.maybe_commit()
# We do not commit if we've been passed a cursor, instead
# we assume that we are in the middle of a transaction
def housekeep_event_log(self, cursor = None): def housekeep_event_log(self, cursor = None):
""" """

View File

@@ -20,6 +20,7 @@ if __name__ == '__main__':
print(f'Survey: {survey["id"]} ({survey["schema"]})') print(f'Survey: {survey["id"]} ({survey["schema"]})')
db.set_survey(survey["schema"]) db.set_survey(survey["schema"])
db.adjust_planner()
db.housekeep_event_log() db.housekeep_event_log()
print("Done") print("Done")