slavapestov/factor — pull request #390 by Blei (2011-11-12 20:54:59+00:00)
Title: vm: kill the stdin loop when exiting

This prevents an endless loop, caused by the nvidia drivers on linux.
See http://www.nvnews.net/vbulletin/showthread.php?t=164619