https://bugzilla.wikimedia.org/show_bug.cgi?id=57879

--- Comment #12 from Merlijn van Deen <valhall...@arctus.nl> ---
Just a note on this for future reference.

- Page._redirarg can be either str or IsRedirectError(str, ), depending on
where it is set
- If Page._redirarg is set, it is used to re-throw the error when page.get()
(et al.) are called a second time.

The old syntax
  throw IsRedirectError, e

will throw IsRedirectError(e) if e is str, or IsRedirectError(e.msg) if e is
Exception.

The new syntax
  throw IsRedirectError(e)

will *always* throw IsRedirectError(e), which will therefore result in
IsRedirectError(IsRedirectError(page title)) if e is Exception.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to