mplayer.py

            elif self.current_vg.group_type == 'dvb':                if nextchan.count('@') == 1:                    channel_name = nextchan.split('@')[0]                    card_number = nextchan.split('@')[1]                else:                    channel_name = nextchan                    card_number = 0                channel_number = self.fc.getChanIndex()                self.app.write('dvb_set_channel %s %s\n' % (channel_number, card_number))                if DEBUG: print '%s: dvb_set_channel %s %s' % (time.time(), channel_number, card_number)