local_user() could also be a remote_user()

diff --git a/boot.php b/boot.php
index 65867593df34008db274d34a4a7210d57bd85d73..217a5f4e1d9ba834df26bcc3ba5f3455e933f4a6 100644 (file)
--- a/boot.php
+++ b/boot.php
@@ -953,10 +953,12 @@ function public_contact()
  */
 function remote_user()
 {
-       // You cannot be both local and remote
-       if (local_user()) {
-               return false;
-       }
+       // You cannot be both local and remote.
+       // Unncommented by rabuzarus because remote authentication to local
+       // profiles wasn't possible anymore (2018-04-12).
+//     if (local_user()) {
+//             return false;
+//     }
        if (x($_SESSION, 'authenticated') && x($_SESSION, 'visitor_id')) {
                return intval($_SESSION['visitor_id']);
        }