Florian Hatat authored Nov 18, 2018 and hydrargyrum committed Feb 24, 2019

This commit explains in particular how to save the fact that login has
succeeded once by using the browser's logged attribute, so that do_login
isn't called multiple times afterwards.