Set the remote ext host pid and name (#115891)

Fixes #115213
This commit is contained in:
Alex Ross
2021-02-05 17:00:34 +01:00
committed by GitHub
parent 46c91d443a
commit 26e6d9e93a
5 changed files with 23 additions and 14 deletions

View File

@@ -995,7 +995,7 @@ export interface MainThreadTunnelServiceShape extends IDisposable {
$closeTunnel(remote: { host: string, port: number }): Promise<void>;
$getTunnels(): Promise<TunnelDescription[]>;
$setTunnelProvider(features: TunnelProviderFeatures): Promise<void>;
$setCandidateFinder(): Promise<void>;
$setRemoteTunnelService(processId: number): Promise<void>;
$setCandidateFilter(): Promise<void>;
$onFoundNewCandidates(candidates: { host: string, port: number, detail: string }[]): Promise<void>;
}