Closed Nielswps closed 1 year ago
The system currently attempts to start a new process for an engine until it succeeds. It would be wise to add a max number of retries, to prevent an infinite loop.
The issue is here: https://github.com/Ecdar/Ecdar-GUI/blob/052b6201f043f08bee7f53e98143ebfdc7f5c91a/src/main/java/ecdar/backend/BackendDriver.java#L113-L124
_Originally posted by @Brandhoej in https://github.com/Ecdar/Ecdar-GUI/pull/136#discussion_r1122830423_
The system currently attempts to start a new process for an engine until it succeeds. It would be wise to add a max number of retries, to prevent an infinite loop.
The issue is here: https://github.com/Ecdar/Ecdar-GUI/blob/052b6201f043f08bee7f53e98143ebfdc7f5c91a/src/main/java/ecdar/backend/BackendDriver.java#L113-L124
_Originally posted by @Brandhoej in https://github.com/Ecdar/Ecdar-GUI/pull/136#discussion_r1122830423_