Make ioManagerDie() idempotent
authorSimon Marlow <marlowsd@gmail.com>
Thu, 1 Apr 2010 10:07:05 +0000 (10:07 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 1 Apr 2010 10:07:05 +0000 (10:07 +0000)
commit6c3f7b65603359ed605062835a62da9f9bd229d6
tree9eb1b757011a97e9614313a2af53c526b674be67
parent2726a2f10256710cc6ed80b1098cb32e121e1be7
Make ioManagerDie() idempotent
Avoids screeds of "event buffer overflowed; event dropped" in
conc059(threaded1).
rts/win32/ThrIOManager.c