readIOManagerEvent (void)\r
{\r
// This function must exist even in non-THREADED_RTS, \r
// see getIOManagerEvent() above.\r
#if defined(THREADED_RTS)\r
readIOManagerEvent (void)\r
{\r
// This function must exist even in non-THREADED_RTS, \r
// see getIOManagerEvent() above.\r
#if defined(THREADED_RTS)\r