TIL that git push -d deletes a branch :/ Well, I recreated the PR #594

I have checked out this branch and built and installed it into eXist 6.2.0. I can confirm that setting guest=no in eXide's configuration.xml file to cause any request to eXide to redirect to http://localhost:8080/exist/apps/eXide/login.html - with the page appearing as shown in the screenshots above. When guest=yes (as it is by default), this PR does not alter eXide's login UI at all.

@line-o Is this intentional, or was the new login screen meant to replace the original login UI too?

One suggestion. The placeholder for the user input field itsme is unusual. I'd recommend changing this placeholder text to "Username..." Similarly, the placeholder for the password input ifeld ·········· makes it appear as if a password has already been entered, so I'd recommend changing this placeholder text to "Password..."

@joewiz thank you for taking the time to review my PR.

Does the login page replace the current login form?

Yes, when guest access is restricted it is unsafe to even show the eXide page. If you are logged in and this can see eXide the form will still work and allow to switch to a different user.

Nothing changes for instances where guest access is allowed.

unconventional placeholders

I will change the placeholders as you suggested.