diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2017-04-05 01:55:52 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2017-04-11 16:04:31 +0200 |
commit | 223f32b7658a77fb2ad6b30ad247c0e27204b558 (patch) | |
tree | 94456b21bae6a8ebe0f89ee89b0e3af1a1223f42 /AUTHORS.md | |
parent | 2b04d2a96100fad5fc88b78b6b4094ae6ae25a37 (diff) | |
download | dotty-223f32b7658a77fb2ad6b30ad247c0e27204b558.tar.gz dotty-223f32b7658a77fb2ad6b30ad247c0e27204b558.tar.bz2 dotty-223f32b7658a77fb2ad6b30ad247c0e27204b558.zip |
DirectoryClassPath: handle directory being removed under us
`dir.listFiles` will return null if called on a directory that no
longer exists, somehow partest triggers that.
Diffstat (limited to 'AUTHORS.md')
0 files changed, 0 insertions, 0 deletions