Closed maffoo closed 9 years ago
It looks like that 'no such server' error is coming from the manager when trying to expire contexts on a server that has disconnected (the ghz fpga server runs the same board group shutdown code whether or not the direct ethernet server has disconnected): https://github.com/martinisgroup/servers/blob/master/GHzDACs/ghz_fpga_server.py#L298
From @jwenner in #234:
If I start DE, then start fpga, then close DE, then fpga still thinks the boards are connected. The messages from fpga upon closing DE are:
At this point,
ghz_fpgas.list_devices()
will still list the devices before closing DE. Upon restarting DE, the list of boards will be updated to what is now connected.