Skip to content

Commit 0762739

Browse files
joshspicerCopilot
andcommitted
Log Java permission handler failures
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
1 parent b987639 commit 0762739

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

java/src/main/java/com/github/copilot/CopilotSession.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -964,7 +964,6 @@ private void executeToolAndRespondAsync(String requestId, String toolName, Strin
964964
LOG.log(Level.WARNING, "Error sending tool result for requestId=" + requestId, e);
965965
}
966966
}).exceptionally(ex -> {
967-
LOG.log(Level.SEVERE, "Permission handler failed for requestId=" + requestId, ex);
968967
try {
969968
getRpc().tools.handlePendingToolCall(new SessionToolsHandlePendingToolCallParams(sessionId,
970969
requestId, null, ex.getMessage() != null ? ex.getMessage() : ex.toString()));
@@ -1031,6 +1030,7 @@ private void executePermissionAndRespondAsync(String requestId, PermissionReques
10311030
LOG.log(Level.WARNING, "Error sending permission result for requestId=" + requestId, e);
10321031
}
10331032
}).exceptionally(ex -> {
1033+
LOG.log(Level.SEVERE, "Permission handler failed for requestId=" + requestId, ex);
10341034
try {
10351035
PermissionRequestResult denied = new PermissionRequestResult();
10361036
denied.setKind(PermissionRequestResultKind.DENIED_COULD_NOT_REQUEST_FROM_USER);

0 commit comments

Comments
 (0)