| commit | 89257d0c74608a13b43af63117a5f00df49e40e2 | [log] [tgz] |
|---|---|---|
| author | Bruno Dal Bo <brunodalbo@fuchsia.infra.roller.google.com> | Thu Jun 09 00:37:29 2022 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Wed Jun 08 17:39:03 2022 -0700 |
| tree | 4ffe134c44b3d10089b75723fe4722a702bda2ee | |
| parent | e4fb0d82bf50330ed7d2d42cd0de1396db7c74b2 [diff] |
[roll] Roll fuchsia [tun] Add Port.Remove method Add a method that allows synchronous port removal from `fuchsia.net.tun/Port`. There's no other safe way for a `tun` client to safely reuse port identifiers without synchronous removal. Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/688704 Original-Revision: 33baf237f75911696ac286dc5b8d6679ee6d149b GitOrigin-RevId: 40e7139489f5b8f16372bdb4e21d2c8054f8961a Change-Id: I2671b25999629fb6c96d7bff3177ecc423f28e6a
This repository contains Fuchsia's Global Integration manifest files.
All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.
Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance via the IRC channel #fuchsia on Freenode.
First install Jiri.
Next run:
$ jiri init $ jiri import minimal https://fuchsia.googlesource.com/integration $ jiri update
Third party projects should have their own subdirectory in ./third_party.