Tribler/tribler — pull request #605 by egbertbouman (2014-05-26 09:26:28+00:00)
Title: Reset playlist after deleting a VOD download

Fixes https://github.com/Tribler/tribler/issues/601.