diff options
| author | Andrei Vagin <avagin@google.com> | 2019-10-30 15:32:20 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-10-30 15:33:41 -0700 |
| commit | db37483cb6acf55b66132d534bb734f09555b1cf (patch) | |
| tree | f923c3a814c93906df1d5b18fcc88f509d86c21d /runsc/boot/platforms | |
| parent | 8bc7b8dba2dcc339ab5bd1b05c83f74a6211a7d0 (diff) | |
Store endpoints inside multiPortEndpoint in a sorted order
It is required to guarantee the same order of endpoints after save/restore.
PiperOrigin-RevId: 277598665
Diffstat (limited to 'runsc/boot/platforms')
0 files changed, 0 insertions, 0 deletions