mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2026-09-28 17:11:11 -09:00
Merge remote-tracking branch 'origin/patch'
This commit is contained in:
@@ -199,6 +199,9 @@ public class ClientUtil {
|
||||
Msg.debug(ClientUtil.class, "Server not connected (" + operation + ")");
|
||||
promptForReconnect(repository, operation, mustRetry, parent);
|
||||
}
|
||||
else if (exc instanceof RepositoryNotFoundException) {
|
||||
Msg.showError(ClientUtil.class, parent, title, exc.getMessage());
|
||||
}
|
||||
else if (exc instanceof UserAccessException) {
|
||||
Msg.showError(ClientUtil.class, parent, title,
|
||||
"Access denied: " + repository + "\n" + exc.getMessage());
|
||||
|
||||
Reference in New Issue
Block a user