player.xml broken

[Derek Balling]

On May 12, 2014, at 12:47 PM, Kapitano <kapitano72 at gmail.com> wrote:

> On 12/05/2014 11:26, dinkypumpkin wrote:
>> --channel="Radio 4$" vs --channel="Radio 4 Extra".
> 
> I presume that "$" means "...and any other additional characters, but not zero additional characters". When I try it, --channel="radio 4" brings up hits for both Radio 4 and Radio 4 Extra.

"$", in regular expression parlance, is the "end-of-string" symbol. It should represent "nothing past this point".