media_server does not free resources from crashed applications

[stippi]

I am currently debugging something else, which makes me launch and crash a media application all the time. This means I am not properly cleaning up the media resources this application allocates. Now I have just triggered src/kits/media/SharedBufferList.cpp:136, and that makes me wonder whether the media_server is properly cleaning up after crashed applications. It should definitely free any resources this application has requested from the server.

[korli]

Is this still valid after Axel's changes in libmedia.so ?

[stippi]

From what Axel told me, cleaning up after crashed applications should still be a problem. At least in some cases, it has to be investigated further.

[waddlesplash]

Fixed by hrev53368.

[nielx]

Assign tickets with status=closed and resolution=fixed within the R1/beta2 development window to the R1/beta2 Milestone