Revision f33e6bbd
ID | f33e6bbd66e3d4f3886d4164299aa8d67e4ca281 |
Parent | 672eb08e |
Child | 28334070, 87c06cc4 |
Fixed a SEGFAULT bug in wait4any_polling
Files
- added
- modified
- copied
- renamed
- deleted
ID | f33e6bbd66e3d4f3886d4164299aa8d67e4ca281 |
Parent | 672eb08e |
Child | 28334070, 87c06cc4 |
Added by Andrea Zito almost 10 years ago
Fixed a SEGFAULT bug in wait4any_polling