+ // IO_MANAGER_DIE must be idempotent, as it is called\r
+ // repeatedly by shutdownCapability(). Try conc059(threaded1) to\r
+ // illustrate the problem.\r
+ ACQUIRE_LOCK(&event_buf_mutex);\r
+ io_manager_event = INVALID_HANDLE_VALUE;\r
+ RELEASE_LOCK(&event_buf_mutex);\r