[Varnish] #1794: varnish*-tools do not die when terminal disconnects

[Varnish]

#1794: varnish*-tools do not die when terminal disconnects
--------------------+--------------------
 Reporter:  kwy     |       Owner:
     Type:  defect  |      Status:  new
 Priority:  normal  |   Milestone:
Component:  build   |     Version:  4.0.3
 Severity:  normal  |  Resolution:
 Keywords:          |
--------------------+--------------------

Comment (by fgsch):

 Tested and confirms this patch solves the issue.

 Updated patch with doc fixes and amended test added.

-- 
Ticket URL: <https://www.varnish-cache.org/trac/ticket/1794#comment:5>
Varnish <https://varnish-cache.org/>
The Varnish HTTP Accelerator