8 commits

Author	SHA1	Message	Date
William Martin	ad089d48d9	Update microsoft dev-tunnels to v0.1.13 ... https://github.com/microsoft/dev-tunnels/pull/322 introduced a few breaking changes: * Port Tags were renamed to Labels * Client construction must now provide an API version (of which there is only one) * The /api/v1 prefix was dropped from request paths * TunnelPortListResponses may now be paginated (but we don't support that) * Requests to create a port with a changed protocol began erroring	2025-07-02 16:38:07 +02:00
cuinix	6091e7ad5b	remove repetitive word ... Signed-off-by: cuinix <915115094@qq.com>	2024-03-06 23:30:00 +08:00
David Gardiner	d22c6f33e9	Update comment	2023-10-31 13:12:25 -07:00
David Gardiner	d04a9d941f	Lock the Close func	2023-10-31 13:11:28 -07:00
David Gardiner	1bcf92438a	Defer the mutex unlock	2023-10-31 13:08:34 -07:00
David Gardiner	b566ea670c	Add mutex for connect	2023-10-31 13:01:24 -07:00
David Gardiner	581b6652e2	Resolve race condition in codespaces connection	2023-10-31 12:19:14 -07:00
David Gardiner	e059f32aa5	Forward codespace ports over Dev Tunnels	2023-09-27 13:42:40 -07:00