After the backend is not found, the user should be asked if the GUI should change the path in the preferences file to the correct backend.
Log in to post a comment.
