mozilla/rust — Issue #1937: Something is still broken in port detach
Author: brson
Created: 2012-03-06 23:07:42+00:00
State: open
Labels: A-parallel, A-runtime, I-crash, I-wrong

Just saw this log from the bots http://bot.rust-lang.org/logs/2012/02/06/2012-03-06T10:19:41Z-50cd8e15-3023-4ec6-afde-e627de1a0f2d.html

Related to the hack here: ee991cae81c644a5f536acb49fff59ec769e61c7

Ports are supposed to be completely dereffed before `del_port` but that isn't happening.