Ecdar / Ecdar/Ecdar-GUI

Engine connections leak

Open
#142 0 comments 0 reactions 0 assignees View on GitHub
bug good first issue
Dominant language
Java
Stars
3
Forks
5
PR merge metrics
No merged PRs in 30d

Description

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.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.