diff options
| author | Wolfgang Müller | 2021-05-03 22:17:58 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2021-05-03 22:34:59 +0200 |
| commit | a7a90bded8023df34e1f63311cb786072a9a2037 (patch) | |
| tree | cedcb74368169a880d776b84731473fd58333030 /.gitignore | |
| parent | a096cc81cfa65a166127a3a7e0942c277fbb66b8 (diff) | |
| download | quarg-a7a90bded8023df34e1f63311cb786072a9a2037.tar.gz | |
main: Handle user interrupts more nicely
Users may want to cancel queries that are taking a long time. This
commit ensures that the database is left in a clean state and that quarg
exits immediately after closing the database connection.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions