In some situations cmdint crashes. Probably because of an unclosed logfile.
Description
Description
Event Timeline
neher created this task.
neher renamed this task from CmdInterface ResourceWarning: unclosed file crash to [CmdInterface] ResourceWarning: unclosed file crash.Jun 25 2019, 9:52 AM2019-06-25 09:52:43 (UTC+2)