Terminate batches quickly in VSCode