diff options
| author | YAMAMOTO Takashi <yamamoto@valinux.co.jp> | 2013-05-08 15:24:43 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2013-05-10 00:36:31 +0900 |
| commit | 47bc96ef98bc0f4e0fc6d1b521aff8120aeba5d1 (patch) | |
| tree | d3ed39f07d2779ce8bda281cef548f3cb96f5878 /tools | |
| parent | 6955c13e4e08351638a150526224061f2d79040d (diff) | |
hub: handle GreenletExit internally
Signed-off-by: YAMAMOTO Takashi <yamamoto@valinux.co.jp>
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions