Server Connection following a crash

In one instance, a server-connected database crashed. Following the crash, the database would not connect to the server. Using the Connect to Server menu statement generated an error message. The situation was resolved only by stopping and restarting the server. I don’t know how to reliably cause a crash, so I have not tested this further.
Doesn’t the server realize somehow that the client has been lost and shut down the connection? I know enough to know this is not a trivial question and I am not sure how it should be answered, but it is intolerable that the server would always have to be restarted after a crash of the client. Obviously, I have not tested how other clients would be affected if one of them crashes.

I already suspected this from your earlier report about being unable to re-connect after quitting, so this is under investigation.