To me the fire and forget use of players had been a resource management headache from the first time I touched media. I am strongly in favor of deprecating it. So if you create a player but don't hold on to it, the player should be destroyed. Issue 105 is an example of the trouble it causes.
Rob On 2 Dec 2017 4:21 pm, "Daniel Gillet" <[email protected]> wrote: > Benjamin, the bug was confirmed. > > I've corrected it (I hope) and it was not what I initially thought. The > details are not super important and they can be found in my commit. > I've created a new pull request for you to review. Let me know if it > solves the problem. > > I don't forget the playlist feature. But I don't have the time right now. > It will take a bit more time because I need to create some test cases for > this new functionality. This means I need to first understand all the > different test cases that exist for the media Player. > > I'll let you know once I make some progresses. :) > > Dan > > -- > You received this message because you are subscribed to the Google Groups > "pyglet-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/pyglet-users. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "pyglet-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/pyglet-users. For more options, visit https://groups.google.com/d/optout.
