All logs written to watchdog.log

isabelle-prover / proving-contest-backends

"proving-contest"-backends for several theorem provers

MIT License

12 stars 5 forks source link

All logs written to watchdog.log #12

Closed maxhaslbeck closed 5 years ago

maxhaslbeck commented 5 years ago

All logs seem to be written to watchdog.log, not separated into different files;

maybe logging.basicConfig sets the file globally,

use one logging file?

wimmers commented 5 years ago

We now use one file poller.log for the poller/watchdog log, and one file grader.log for the grader log. See: 148b212a0f3da46609ccc5a4bdd0ba9e0dd61511