Summary
- unused;
- store errors in build_history logs and database;
- tuned;
- more selective database access;
- store errors in build db;
- more correct and complete output of control characters;
- clarified modules;
- do not expose ML interrupt in Scala;
- tuned signature;