Andy Wilkinson 890a3e72ac Repair file channel when it's closed by interruption ... When an interrupted that calls FileChannel.read, the channel is closed and the read fails with a ClosedByInterruptException. The closure of the channel makes it unusable by other threads. To allow other threads to read from the data block, this commit recreates the FileChannel when a read fails on an interrupted thread with a ClosedByInterruptException. The exception is then rethrown to continue the thread's interruption. Closes gh-38154		2023-11-01 17:12:43 +00:00
..
src	Repair file channel when it's closed by interruption	2023-11-01 17:12:43 +00:00
build.gradle	Reintroduce spring-boot-loader modules	2023-10-03 15:40:25 -07:00