• ensure clean shutdown of all threads running JS

    gterzian committed Jun 30, 2020