2002-05-29 23:25:21 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
include_once("db.inc");
|
|
|
|
include_once("util.inc");
|
|
|
|
include_once("prefs.inc");
|
|
|
|
|
2002-12-04 19:14:00 +00:00
|
|
|
$authenticator = init_session();
|
2002-05-29 23:25:21 +00:00
|
|
|
db_init();
|
|
|
|
|
2002-12-04 19:14:00 +00:00
|
|
|
$user = get_user_from_auth($authenticator);
|
2002-05-29 23:25:21 +00:00
|
|
|
if ($user == NULL) {
|
|
|
|
print_login_form();
|
2002-11-12 17:01:16 +00:00
|
|
|
exit();
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
2003-02-08 02:06:35 +00:00
|
|
|
page_head("Edit project preferences", $user);
|
2002-11-12 17:01:16 +00:00
|
|
|
parse_str(getenv("QUERY_STRING"));
|
2002-12-19 05:11:25 +00:00
|
|
|
$prefs = prefs_parse($user->project_prefs);
|
2003-02-08 02:06:35 +00:00
|
|
|
prefs_form_project($prefs, "prefs.php");
|
2002-08-05 23:20:57 +00:00
|
|
|
echo "<p>\n";
|
|
|
|
page_tail();
|
2002-05-29 23:25:21 +00:00
|
|
|
|
|
|
|
?>
|