Summary
- merged
- proper close;
- separate host.db for independent db.transaction_lock;
- tuned comments;
- omit redundant data: already stored in progress database;
- tuned signature: more operations;
- proper support for SQLite: avoid conflicts on transaction_lock;
- minor performance tuning: avoid external process;
- clarified signature;
- obsolete;
- tuned;
- tuned signature;
- tuned signature;
- clarified signature;
- tuned;
- clarified signature;
- tuned;
- proper pattern (amending da5cc332ded3);
- tuned signature;
- proper hostname from build_context;
- prefer Database_Progress, which is more robust (amending afb1a19307c4);
- support for Database_Progress;
- tuned signature: more operations;
- tuned signature: more operations;
- tuned signature: more operations;
- clarified signature;