chiark / gitweb /
execute: bump up log level of executed processes that failed