do_client_redirect: fix history handling
commit6ede93a040645fdc0e09ee4a5c56e5929e392439
authorJohn Foerch <jjfoerch@earthlink.net>
Sat, 18 Feb 2012 00:44:00 +0000 (17 19:44 -0500)
committerJohn Foerch <jjfoerch@earthlink.net>
Sat, 18 Feb 2012 00:44:00 +0000 (17 19:44 -0500)
treea41784abbd47dfbc592a6d90843e2890183ca83e
parentdd37f73da08356954f4afa75aeec028e7a876836
do_client_redirect: fix history handling

Whether the url to be skipped is or is not in the history at the point when
the client-redirects are called seems to be timing-dependent, so we need to
explicitly check before removing an entry from the history.
modules/client-redirect.jsx