search

thahmann / macleod

Ontology development environment for Common Logic (CL)
Other
23 stars 9 forks source link

Uses different loggers for each reasoner #17

Open Fxhnd opened 7 years ago

Fxhnd commented 7 years ago

Currently the FileMgmt.py does a lot of extra work to find its configuration files. To support the single defined-by-user-account configuration store the config_dir path is hardcoded to be userName/macleod/. From there the rest of the code is as-is and does a bunch of stuff to "locate" the files contained in that directory.

There is logic in there for the sub-process logs that I didn't want to touch. It could all be simplified since we now have fixed locations for the log files.

Fxhnd commented 6 years ago

It would be easier to define different LOGGERS in the logging.conf file. Maybe have a different logger for each type of prover. This also takes advantage of the free thread-safe not-randomly-on-the-same-line logging from the standard library.

Good Examples

thahmann commented 3 years ago

the original issue has been addressed; but the use of separate loggers for each reasoner (e.g. vampire vs. paradox) is still something that should be done, but more of an enhancement than an issue.