| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Mon, 28 Nov 2011 01:32:11 +0200 | |
| changeset 1112 | 91e7ec70a38e |
| parent 890 | 6f835a47d0e0 |
| permissions | -rw-r--r-- |
|
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 |