[ticker-dev] Re: channel subscription rules

[Ted Phelps]

Matthew Phillips may have said:
> btw does the server optimize the "fold-case('MyChannelName')" to
> "mychannelname"?

Yes, and it will cache the results of a 'fold-case(Group)' during
evaluation, so the router will only incur the case-folding overhead
once per notification.  In other words, for m subscriptions and n
notifications, there would be m + n total calls to 'fold-case()'.

Cheers,
-Ted