We're updating the issue view to help you get more done. 

ProB2 / ProB2-UI does not release probcli processes when reloading or changing machine

Description

See attached screenshot after running ProB2 for a while.
When quitting ProB2 all probcli's are released and the list becomes empty.

Environment

None

Status

Assignee

dgelessus

Reporter

Michael Leuschel

Labels

None

Priority

Major