Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

Engine connections leak #142

Open Nielswps opened 1 year ago

Nielswps commented 1 year ago

When using the system, connections to the engines are sometimes not returned to the availableConnections within the BackendDriver. The processes are closed on exit (due to the fixes in #140 ), but they become inaccessible during execution.

The issue is described further in #134, which was closed due to the main issue of processes not being shutdown on exit, which has been resolved.