diff sat_frontends/jp/output_std.py @ 2746:1e2f0856c845

memory (sqlite): retry _runInteraction in the same way as for _runQuery, this improve reliability
author Goffi <goffi@goffi.org>
date Fri, 04 Jan 2019 09:21:16 +0100
parents b156b78b8f9a
children 003b8b4b56a7
line wrap: on
line diff