Issue launching DeviceList tool from Linux SDK

Hello,

I found a problem with one of the tools from THE SDK,

With DeckLink Quad HDMI Recorder installed and working well, I founded a bug running one of the tools from the SDK (Blackmagic_DeckLink_SDK/Linux/Samples/DeviceList) :

Sometimes, when is running a process in one of the HDMI ports (for example capturing a stream by ffmpeg) if you run ./DeviceList the process never ends and keep blocked the BASH, only exiting by killing the process or ^C

If you know any way to solve this bug or any way to get the list of BlackMagic Devices while other process are using the video capturer, let me know please

Thanks

SDK update version

I could not fix DeviceList crash, but I wrote the coman with retry and timeout to avoid process blocking in BASH.

cmd="./DeviceList; do sleep 1; done;"
$(timeout 10 bash -c "$cmd")