#99: initializer.js, terminate WebWorker, if exists