I'm with Lance in thinking that an exception should be thrown. The exception message should list the conflicting page names, of course. On Jan 31, 2014 10:38 AM, "Mauricio Aldazosa" <mauricio.aldaz...@gmail.com> wrote:
> On Thu, Jan 30, 2014 at 2:35 AM, Lance Java <lance.j...@googlemail.com > >wrote: > > > > but I'd also call that a very confusing naming of pages. > > > > > Granted :-), we have already changed the names. I also created a jira > issue: https://issues.apache.org/jira/browse/TAP5-2281 for it. I'll be > happy to provide a patch if a consensus is reached on how to handle this > (warning, exception, etc). > > Thanks for your answers, > Mauricio >
