[project @ 2005-10-26 11:41:51 by simonmar]
authorsimonmar <unknown>
Wed, 26 Oct 2005 11:41:51 +0000 (11:41 +0000)
committersimonmar <unknown>
Wed, 26 Oct 2005 11:41:51 +0000 (11:41 +0000)
commit48d21c1fbdf9cf032a528e19195714229530a632
tree47e7f8178e3bdf53fd64730d1914e38996697bc3
parent7c82b4a858411e7363f46d29bbd297e7880ef625
[project @ 2005-10-26 11:41:51 by simonmar]
fix to previous change: allow workers to exit
ghc/rts/Schedule.c