This looks great :)

On 2016-09-27 14:53, Philipp Stephani wrote:
> Hi,
> 
> there seem to be sufficiently many people annoyed by the "Active processes exist; kill them and exit anyway" prompt (see e.g. http://stackoverflow.com/q/2706527/178761) that I created a new customization option to make prompting optional. I've attached a patch, which I can push to master unless there are complaints.
> 
> Thanks,
> Philipp