diff options
| author | Andrei Vagin <avagin@google.com> | 2019-09-30 17:55:55 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-09-30 17:57:14 -0700 |
| commit | 29a1ba54ea427d4fdd357453d74c93d16f5eca9b (patch) | |
| tree | 67f8ecae3e7563eb0341545fe49297239baf3b5c /WORKSPACE | |
| parent | 20841b98e14dd37aa40886668e337551b18f0fd3 (diff) | |
splice: compare inode numbers only if both ends are pipes
It isn't allowed to splice data from and into the same pipe.
But right now this check is broken, because we don't check that both ends are
pipes.
PiperOrigin-RevId: 272107022
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions