diff options
| author |  lberki <lberki@google.com> | 2017-07-25 15:36:23 +0200 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-07-26 10:34:51 +0200 |
| commit | 3edde6fe2ecc1471b1611fbe54fe446443a30855 (patch) | |
| tree | bfa4bd790c19d18f459bc7f2d62b7f1c7ec41dee /scripts | |
| parent | ef5c35b5c015d50226956ebd519144fa873f02d3 (diff) | |
Close the ZipFileSystem and the underlying ZipFile appropriately after we finished extracting the FDO profile.
Also fix a truly embarrassing infinite recursion bug introduced by Yours Truly in unknown commit .
This avoids a failure mode where, when two profiles at the same path are used in two builds close one after the other, the file handle would get erroneously re-used.
RELNOTES: None.
PiperOrigin-RevId: 163063976
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions