John Fischer wrote: > >> 248: Whether there's always a default has been an issue of some >> contention in the past - do we need to handle it specially this way, >> or can we just let getManNames() provide it? > > Right. So this is one of those things that I changed recently from > feedback during a phone conversation. It originally did not have the > default manifest code in it but simply relied on getManNames(). So > there is still some contention around it. What is your suggestion? > It sounds like you favor getManNames() and don't worry about listing > the default manifest.
[Sorry, I didn't look at the code to see how things were getting done.] IMO, the one named default should still be listed, but getManNames() should be returning the one named "default" if one by that name exists. -ethan
