chiark / gitweb /
pid1: preserve current value of log level across re-{load,execution}