Opened 11 years ago

Closed 9 years ago

#10150 closed bug (fixed)

Media Player fails to close gracefully

Reported by: _samui Owned by: stippi
Priority: normal Milestone: R1
Component: Applications/MediaPlayer Version: R1/Development
Keywords: Cc:
Blocked By: Blocking:
Platform: All

Description

Whenever there has been trouble with mediaServer crash / restart, mediaPlayer wont close.

On the debug you see a lot of

SentToPort: write_port failed, msgcode 0x703, port 620: Bad Port ID SentToPort: write_port failed, msgcode 0x406, port 620: Bad Port ID SentToPort: write_port failed, msgcode 0x305, port 620: Bad Port ID SentToPort: write_port failed, msgcode 0x10a, port -222: Bad Port ID BmediaRoster::Disconnect: GetNodeDor destination_nodeID 2 failed SendToServer: SendMessage failed: Bad Port ID

mediaPlayer wont close and I have to manually kill it's process.

Change History (1)

comment:1 by Barrett, 9 years ago

Resolution: → fixed
Status: new → closed

Fixed as of hrev49662.

Note: See TracTickets for help on using tickets.