diff options
author | 2017-05-24 18:51:20 +0200 | |
---|---|---|
committer | 2017-05-26 09:34:56 +0200 | |
commit | cf94053c3403297c18d75eca4a68560a1e131af5 (patch) | |
tree | 9b8abdc7a7939475fcfe37d75004fd9cb5351c47 /src/main/java/com/google/devtools/build/lib/unix | |
parent | cf623c32ee369efbced6f1558eb07d5979213228 (diff) |
Don't throw runtime exception on interruption - since we know the future is already done, we should leave the thread in an interrupted state and proceed. This fixes a blaze crash when a 'genquery' execution is interrupted at the right time.
PiperOrigin-RevId: 157000269
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/unix')
0 files changed, 0 insertions, 0 deletions