Ilya Etingof 2651f13f28 Fix hanging on shell-pipe ... Properly closes standard I/O streams to prevent shell-piped processes from hanging infinitely on a dead pipe. Change-Id: Id9dedac4f778cf37d626f2777d519f73cc4b5f2c Story: 2007219 Task: 38471		2020-03-06 09:08:56 +01:00
..
__init__.py	Add the "vbmc" utility	2016-02-12 23:37:05 +00:00
vbmc.py	Fix hanging on shell-pipe	2020-03-06 09:08:56 +01:00
vbmcd.py	Fix hanging on shell-pipe	2020-03-06 09:08:56 +01:00