Skip to content
Open
4 changes: 3 additions & 1 deletion dotnet/src/Client.cs
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
using Microsoft.Extensions.Logging;
using Microsoft.Extensions.Logging.Abstractions;
using StreamJsonRpc;
using StreamJsonRpc.Protocol;
using System.Collections.Concurrent;
using System.Data;
using System.Diagnostics;
Expand Down Expand Up @@ -1104,7 +1105,7 @@ await Rpc.SessionFs.SetProviderAsync(
cancellationToken);
}

private void ConfigureSessionFsHandlers(CopilotSession session, Func<CopilotSession, ISessionFsHandler>? createSessionFsHandler)
private void ConfigureSessionFsHandlers(CopilotSession session, Func<CopilotSession, SessionFsProvider>? createSessionFsHandler)
{
if (_options.SessionFs is null)
{
Expand Down Expand Up @@ -1836,6 +1837,7 @@ private static LogLevel MapLevel(TraceEventType eventType)
AllowOutOfOrderMetadataProperties = true,
NumberHandling = JsonNumberHandling.AllowReadingFromString,
DefaultIgnoreCondition = JsonIgnoreCondition.WhenWritingNull)]
[JsonSerializable(typeof(CommonErrorData))]
[JsonSerializable(typeof(CreateSessionRequest))]
[JsonSerializable(typeof(CreateSessionResponse))]
[JsonSerializable(typeof(CustomAgentConfig))]
Expand Down
178 changes: 157 additions & 21 deletions dotnet/src/Generated/Rpc.cs

Large diffs are not rendered by default.

106 changes: 104 additions & 2 deletions dotnet/src/Generated/SessionEvents.cs

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 3 additions & 3 deletions dotnet/src/Session.cs
Original file line number Diff line number Diff line change
Expand Up @@ -607,15 +607,15 @@ private async Task ExecutePermissionAndRespondAsync(string requestId, Permission
{
return;
}
await Rpc.Permissions.HandlePendingPermissionRequestAsync(requestId, result);
await Rpc.Permissions.HandlePendingPermissionRequestAsync(requestId, new PermissionDecision { Kind = result.Kind.Value });
}
catch (Exception)
{
try
{
await Rpc.Permissions.HandlePendingPermissionRequestAsync(requestId, new PermissionRequestResult
await Rpc.Permissions.HandlePendingPermissionRequestAsync(requestId, new PermissionDecision
{
Kind = PermissionRequestResultKind.DeniedCouldNotRequestFromUser
Kind = PermissionRequestResultKind.DeniedCouldNotRequestFromUser.Value
});
}
catch (IOException)
Expand Down
Loading
Loading