| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Sun, 23 Oct 2011 00:19:14 +0300 | |
| changeset 1046 | fed3bb94a948 |
| 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 |