2002-04-30 22:22:54 +00:00
|
|
|
<?php
|
2002-08-13 22:35:12 +00:00
|
|
|
require_once("db.inc");
|
|
|
|
require_once("util.inc");
|
|
|
|
require_once("prefs.inc");
|
2002-04-30 22:22:54 +00:00
|
|
|
|
2002-12-04 19:14:00 +00:00
|
|
|
$authenticator = init_session();
|
2002-08-13 22:35:12 +00:00
|
|
|
db_init();
|
2002-04-30 22:22:54 +00:00
|
|
|
|
2002-12-04 19:14:00 +00:00
|
|
|
$user = get_user_from_auth($authenticator);
|
2002-12-16 21:41:41 +00:00
|
|
|
require_login($user);
|
|
|
|
|
2003-03-04 19:13:21 +00:00
|
|
|
$subset = $_GET["subset"];
|
|
|
|
page_head(subset_name($subset)." preferences");
|
|
|
|
if ($subset == "global") {
|
|
|
|
print_prefs_display_global($user);
|
|
|
|
} else {
|
|
|
|
print_prefs_display_project($user);
|
|
|
|
}
|
2002-12-19 05:11:25 +00:00
|
|
|
page_tail();
|
2002-04-30 22:22:54 +00:00
|
|
|
|
|
|
|
?>
|