From c6827c8ce741308f4575243e95c0f5f5a95d5511 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Sun, 14 Apr 2019 15:28:25 -0400 Subject: error(): Kill whole process group --- (limited to 'tools') -- cgit v0.9.1