]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23208e5) | patch
io.launcher: change kill-process to also close the pipe, if there is one, so that...
authorSlava Pestov <slava@factorcode.org>
Sat, 29 Oct 2011 04:52:24 +0000 (21:52 -0700)
committerSlava Pestov <slava@factorcode.org>
Sat, 29 Oct 2011 04:53:25 +0000 (21:53 -0700)
commit5b69026f592753e068effe685bcc09d487f6439a
treeac288e91fa24e9180177be3a9d913c135065c4c8tree | snapshot
parent23208e569719f149a7d94f6c2f573d47d7639807commit | diff
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
basis/io/launcher/launcher.factor diff | blob | history
basis/io/launcher/unix/unix-tests.factor diff | blob | history
Factor programming language