Hi again,<div><br></div><div>Back to the original patch.</div><div>Even if it doesn't make sense for most users to increase the timeout it still makes sense to have the timeout configurable.</div><div>Maybe someone wants only 1s timeout instead of the hardcoded 10s.</div>
<div><br></div><div>I can add a warning about the blocked worker threads if you want.</div><div><br></div><div>What do you think?</div><div><br></div><div>Philipp</div>