| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Fri, 22 Jul 2011 01:34:47 +0300 | |
| changeset 910 | c3fc5f36d101 |
| parent 890 | 6f835a47d0e0 |
| permissions | -rwxr-xr-x |
|
890
6f835a47d0e0
Kill processes after timeout.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
1 |
-*- mode: outline; coding: utf-8 -*- |
|
6f835a47d0e0
Kill processes after timeout.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
2 |
|
|
6f835a47d0e0
Kill processes after timeout.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
3 |
* Kill processes after timeout. |
|
6f835a47d0e0
Kill processes after timeout.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
4 |
|
|
6f835a47d0e0
Kill processes after timeout.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
5 |
$ yes xxx& p1=$! ; yes ===& p2=$! ; sleep 2; kill $p1; kill $p2 |
|
6f835a47d0e0
Kill processes after timeout.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
6 |