diff options
author | Taras Tsugrii <ttsugrii@fb.com> | 2017-10-30 08:07:37 -0400 |
---|---|---|
committer | John Cater <jcater@google.com> | 2017-10-30 10:42:02 -0400 |
commit | 7a3f1048e3c8f8fce57c3d873824511f15cb4aa0 (patch) | |
tree | 90ba8a9306a3c0e4eac1c1a00947ded37ce7d212 /src/tools/remote_worker | |
parent | dc73a1d67e351acea7367f7aabb1dfa61c207b01 (diff) |
[Trivial] Add a designated method for retrieving java.nio.file.Path
As explained in the javadoc this avoids unnecessary allocations and
preserves underlying Java filesystem information.
This partially addresses #3952.
Closes #3953.
PiperOrigin-RevId: 173877045
Diffstat (limited to 'src/tools/remote_worker')
0 files changed, 0 insertions, 0 deletions