This PR adds the support for a «run log database», i.e., a database keeping track of all the JSON scripts that have been executed. For each run, the following information is recored:
Start and end time
Number of commands sent
Value of the overridden «wait time» and «wait command time» delay, which can be set when calling program_batch_runner.py
A compressed JSON representation of all the commands sent (the compression uses Zstandard at level 12, which ensures 10³ compression ratio)
The full path of the JSON file
Status of the PR:
[X] Add support for a run log database
[X] Make program_batch_runner.py use the run log database
This PR adds the support for a «run log database», i.e., a database keeping track of all the JSON scripts that have been executed. For each run, the following information is recored:
program_batch_runner.pyStatus of the PR: