| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Fri, 05 Aug 2011 09:40:50 +0300 | |
| changeset 921 | c1264ffd1a37 |
| 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 |