| commit | 30a2cf4e94b7b0362fb259523458b18572b1104e | |
| author | Guillaume Chazarain <guichaz@gmail.com> | |
| Fri, 12 Jun 2009 12:12:12 +0000 (12 14:12 +0200) | ||
| committer | Guillaume Chazarain <guichaz@gmail.com> | |
| Fri, 12 Jun 2009 12:12:12 +0000 (12 14:12 +0200) | ||
| tree | c47f4d84d5b702fddd41d58f57de82c23e80d9ed | treesnapshot (tar.gz zip) |
| parent | 0a119cb02e437850cc0ac75ce38abecfb0a4dae7 | commitdiff |
Local commands are executed in a shell, so if the shell does not exec() the
command, the latter may be killed but the shell won't. So, we use the shell
exit code to see if the command was killed.
command, the latter may be killed but the shell won't. So, we use the shell
exit code to see if the command was killed.
| gsh/stdin.py | diffblobblamehistory |