Don't fail when sqlite returns SQLITE_BUSY error
[gnadelite.git] / src / 
treed41e213e405bdd5188a45b01db83bbc4df389ea3
drwxr-xr-x   ..
-rw-r--r-- 15448 db-sqlite.adb
-rw-r--r-- 4277 db-sqlite.ads
-rw-r--r-- 2629 db-tools.adb
-rw-r--r-- 2323 db-tools.ads
-rw-r--r-- 3767 db.ads
-rw-r--r-- 355620 sqlite3_h.ads