git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 37db58ac authored by Mike Sheldon's avatar Mike Sheldon

Skeleton implementation of remote users

parent d332047f
This diff is collapsed.
......@@ -23,6 +23,7 @@ require_once('database.php');
require_once('user-menu.php');
require_once('templating.php');
require_once('data/User.php');
require_once('data/RemoteUser.php');
require_once('data/TagCloud.php');
require_once('data/Server.php');
......@@ -34,7 +35,11 @@ if (!isset($_GET['user']) && $logged_in == false) {
}
try {
$user = new User($_GET['user']);
if(strstr($_GET['user'], '@')) {
$user = new RemoteUser($_GET['user']);
} else {
$user = new User($_GET['user']);
}
} catch (Exception $e) {
$error = 'User not found';
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment