| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Tue, 25 Oct 2011 23:01:35 +0300 | |
| changeset 1068 | ef5dc6d9b9a0 |
| 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 |