handle ThreadMigrating in throwTo() (#4811)
authorSimon Marlow <marlowsd@gmail.com>
Fri, 3 Dec 2010 09:48:18 +0000 (09:48 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 3 Dec 2010 09:48:18 +0000 (09:48 +0000)
commite9c6b0de1890a66a9ce2e7749eaf7d7317c9dd01
tree68f0fd549757331bab9871c1e36247ac9e017ef9
parent3d7ffacd15ac7f44393a2b0186972c8903a1b643
handle ThreadMigrating in throwTo() (#4811)
If a throwTo targets a thread that has just been created with
forkOnIO, then it is possible the exception strikes while the thread
is still in the process of migrating.  throwTo() didn't handle this
case, but it's fairly straightforward.
rts/RaiseAsync.c