search

konclude / Konclude

Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
http://konclude.com
36 stars 5 forks source link

(sub)commands randomly does nothing #8

Closed jonassmedegaard closed 4 years ago

jonassmedegaard commented 5 years ago

It seems that any (sub)command randomly - 10%-40% of the times - fails by simply doing nothing.

Running watch Konclude -h and simply watching the output, randomly it emits only the initial 3 lines until and including the version number.

jonassmedegaard commented 5 years ago

This issue seems to occur only with the recent prereleases.

andreas-steigmiller commented 5 years ago

Many thanks for reporting it. It should know be fixed at least for showing the help information with -h (which was a more or less a known issue, where the main thread didn't wait until the log message was printed out). For other commands, I didn't observe anything like this on my plattforms.

jonassmedegaard commented 4 years ago

yes, I can confirm that it is now fixed (for some time).