2002-08-07 18:56:55 +00:00
|
|
|
<?php
|
|
|
|
require_once("util.inc");
|
|
|
|
require_once("user.inc");
|
|
|
|
require_once("db.inc");
|
|
|
|
|
2002-12-04 19:14:00 +00:00
|
|
|
$authenticator = init_session();
|
2002-08-07 18:56:55 +00:00
|
|
|
db_init();
|
2002-12-04 19:14:00 +00:00
|
|
|
$user = get_user_from_auth($authenticator);
|
2002-08-07 18:56:55 +00:00
|
|
|
if ($user) {
|
2002-08-08 20:49:09 +00:00
|
|
|
page_head("User stats");
|
|
|
|
show_user($user);
|
2002-11-12 17:01:16 +00:00
|
|
|
page_tail();
|
2002-08-07 18:56:55 +00:00
|
|
|
} else {
|
2002-11-12 17:01:16 +00:00
|
|
|
print_login_form();
|
2002-08-07 18:56:55 +00:00
|
|
|
}
|
|
|
|
?>
|