Adrien Piquerez 634e8799e7 Catch ClosedChannelException in background job logger ... We want the background job to stay alive even if its terminal has been closed and we cannot write to it anymore		2022-08-05 14:45:38 +02:00
..
main	Catch ClosedChannelException in background job logger	2022-08-05 14:45:38 +02:00
test	More flexible Scala version switch	2022-06-26 12:43:41 +02:00