auto merge of #772 : larsbergstrom/servo/profile-chan-fix, r=jdm

Will exit during shutdown instead of crashing trying to recv on a closed port.
This commit is contained in:
bors-servo 2013-08-23 09:30:32 -07:00
commit d70178da86

View file

@ -131,8 +131,11 @@ impl Profiler {
pub fn start(&mut self) {
loop {
let msg = self.port.recv();
self.handle_msg(msg);
let msg = self.port.try_recv();
match msg {
Some (msg) => self.handle_msg(msg),
None => break
}
}
}