use Future.fork rather than Thread.fork, so that the thread is part of the global thread management
use Future.fork rather than Thread.fork, so that the thread is part of the global thread management

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle