-
Pekka Pessi authored
The termination request was sent occasionally sent twice, resulting in assertion failure. Problem reported by Michael Jerris. darcs-hash:20070226185130-55b16-bd97966b586a3a9a714e8426c2c017f3b4874184.gz
30e8c039
The termination request was sent occasionally sent twice, resulting in assertion failure. Problem reported by Michael Jerris. darcs-hash:20070226185130-55b16-bd97966b586a3a9a714e8426c2c017f3b4874184.gz