Slava Pestov 5b69026f59 io.launcher: change kill-process to also close the pipe, if there is one, so that try-output-process can timeout even if the process spawns a subprocess which inherits the pipe. This fixes part of #307		2011-10-28 21:53:25 -07:00
..
unix	io.launcher: change kill-process to also close the pipe, if there is one, so that try-output-process can timeout even if the process spawns a subprocess which inherits the pipe. This fixes part of #307	2011-10-28 21:53:25 -07:00
windows	Update Windows for word renames, fix lint errors	2011-10-24 21:50:02 -07:00
authors.txt	Create basis vocab root	2008-07-28 22:03:13 -05:00
launcher-docs.factor	Remove Windows CE from core/ basis/ and build-support/	2011-09-18 23:19:06 -05:00
launcher-tests.factor	Fixing unit tests for stack effect inference changes	2009-04-20 21:15:19 -05:00
launcher.factor	io.launcher: change kill-process to also close the pipe, if there is one, so that try-output-process can timeout even if the process spawns a subprocess which inherits the pipe. This fixes part of #307	2011-10-28 21:53:25 -07:00
summary.txt	Create basis vocab root	2008-07-28 22:03:13 -05:00