2002-04-30 22:22:54 +00:00
|
|
|
<?php
|
|
|
|
|
2002-09-27 06:12:50 +00:00
|
|
|
// This file contains support functions for display and editing
|
|
|
|
// preferences (global and project).
|
2002-05-29 23:25:21 +00:00
|
|
|
// Preferences are represented in two ways:
|
|
|
|
// - As a PHP structure (usually called $prefs)
|
2002-12-19 05:11:25 +00:00
|
|
|
// This has fields dont_run_on_batteries, etc.
|
|
|
|
// The fields "project_specific" is raw XML
|
2002-05-29 23:25:21 +00:00
|
|
|
// - As XML (usually called $prefs_xml)
|
|
|
|
//
|
|
|
|
// This XML has the general structure
|
2002-09-27 06:12:50 +00:00
|
|
|
// <global_preferences>
|
2002-05-29 23:25:21 +00:00
|
|
|
// <dont_run_if_user_active/>
|
2002-06-01 20:26:21 +00:00
|
|
|
// <low_water_days>1.3</low_water_days>
|
2002-05-29 23:25:21 +00:00
|
|
|
// ...
|
2002-09-27 06:12:50 +00:00
|
|
|
// </global_preferences>
|
|
|
|
//
|
|
|
|
// and
|
|
|
|
//
|
|
|
|
// <project_preferences>
|
|
|
|
// <resource_share>4</resource_share>
|
2002-09-26 05:57:10 +00:00
|
|
|
// <project-specific>
|
2002-05-29 23:25:21 +00:00
|
|
|
// ... (arbitrary project-specific XML)
|
2002-09-26 05:57:10 +00:00
|
|
|
// </project-specific>
|
2002-09-27 06:12:50 +00:00
|
|
|
// <send_email/>
|
|
|
|
// <show_email/>
|
|
|
|
// </project_preferences>
|
2002-05-29 23:25:21 +00:00
|
|
|
|
2002-12-19 05:11:25 +00:00
|
|
|
// Various functions are defined below for converting between these forms,
|
|
|
|
// and also to/from HTML form elements
|
|
|
|
|
|
|
|
// First: functions to parse preferences XML into a struct
|
|
|
|
|
|
|
|
include_once("project_specific_prefs.inc");
|
|
|
|
|
2002-05-29 23:25:21 +00:00
|
|
|
global $text;
|
|
|
|
global $parse_result;
|
|
|
|
global $in_project_specific;
|
|
|
|
|
2002-09-27 06:12:50 +00:00
|
|
|
// the following will parse either global or project prefs
|
|
|
|
// TODO: split up into separate functions
|
|
|
|
//
|
2002-05-29 23:25:21 +00:00
|
|
|
function element_start($parser, $name, $attrs) {
|
|
|
|
global $text;
|
|
|
|
global $project;
|
|
|
|
global $in_project_specific;
|
|
|
|
|
|
|
|
switch($name) {
|
|
|
|
case "project_specific":
|
|
|
|
$in_project_specific = 1;
|
|
|
|
$text = "";
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
if ($in_project_specific) {
|
|
|
|
$text= $text."<$name>";
|
|
|
|
} else {
|
|
|
|
$text = "";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function element_end($parser, $name) {
|
|
|
|
global $text;
|
|
|
|
global $parse_result;
|
|
|
|
global $in_project_specific;
|
|
|
|
|
|
|
|
switch($name) {
|
|
|
|
case "project_specific":
|
2002-09-27 17:42:30 +00:00
|
|
|
$parse_result->project_specific = $text;
|
2002-05-29 23:25:21 +00:00
|
|
|
$in_project_specific = false;
|
|
|
|
break;
|
|
|
|
case "dont_run_on_batteries":
|
|
|
|
$parse_result->dont_run_on_batteries = 1;
|
|
|
|
break;
|
|
|
|
case "dont_run_if_user_active":
|
|
|
|
$parse_result->dont_run_if_user_active = 1;
|
|
|
|
break;
|
|
|
|
case "confirm_before_connecting":
|
|
|
|
$parse_result->confirm_before_connecting = 1;
|
|
|
|
break;
|
2002-06-01 20:26:21 +00:00
|
|
|
case "low_water_days":
|
|
|
|
$parse_result->low_water_days = $text;
|
2002-05-29 23:25:21 +00:00
|
|
|
break;
|
2002-06-01 20:26:21 +00:00
|
|
|
case "high_water_days":
|
|
|
|
$parse_result->high_water_days = $text;
|
2002-05-29 23:25:21 +00:00
|
|
|
break;
|
|
|
|
case "disk_max_used_gb":
|
|
|
|
$parse_result->disk_max_used_gb = $text;
|
|
|
|
break;
|
|
|
|
case "disk_max_used_pct":
|
|
|
|
$parse_result->disk_max_used_pct = $text;
|
|
|
|
break;
|
|
|
|
case "disk_min_free_gb":
|
|
|
|
$parse_result->disk_min_free_gb = $text;
|
|
|
|
break;
|
|
|
|
case "resource_share":
|
2002-09-27 17:42:30 +00:00
|
|
|
$parse_result->resource_share = $text;
|
2002-05-29 23:25:21 +00:00
|
|
|
break;
|
|
|
|
case "show_email":
|
2002-09-27 17:42:30 +00:00
|
|
|
$parse_result->show_email = $text;
|
2002-05-29 23:25:21 +00:00
|
|
|
break;
|
|
|
|
case "send_email":
|
2002-09-27 17:42:30 +00:00
|
|
|
$parse_result->send_email = $text;
|
2002-05-29 23:25:21 +00:00
|
|
|
break;
|
2002-12-19 05:11:25 +00:00
|
|
|
case "mod_time":
|
|
|
|
$parse_result->mod_time = $text;
|
|
|
|
break;
|
2002-09-27 06:12:50 +00:00
|
|
|
case "global_preferences":
|
|
|
|
break;
|
|
|
|
case "project_preferences":
|
2002-05-29 23:25:21 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
if ($in_project_specific) {
|
|
|
|
$text = $text."</$name>\n";
|
|
|
|
} else {
|
|
|
|
echo "Unknown tag: $name\n";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function char_handler($parser, $x) {
|
|
|
|
global $text;
|
|
|
|
$text = $text.$x;
|
|
|
|
}
|
|
|
|
|
2003-02-07 09:00:35 +00:00
|
|
|
function default_prefs() {
|
|
|
|
$p = null;
|
|
|
|
$p->dont_run_on_batteries = 1;
|
|
|
|
$p->dont_run_if_user_active = 1;
|
|
|
|
$p->confirm_before_connecting = 0;
|
|
|
|
$p->low_water_days = 1;
|
|
|
|
$p->high_water_days = 3;
|
|
|
|
$p->disk_max_used_gb = 1000;
|
|
|
|
$p->disk_max_used_pct = 50;
|
|
|
|
$p->disk_min_free_gb = 1;
|
|
|
|
|
|
|
|
$p->resource_share = 100;
|
|
|
|
$p->show_email = 0;
|
|
|
|
$p->send_email = 1;
|
|
|
|
return $p;
|
|
|
|
}
|
|
|
|
|
2002-05-29 23:25:21 +00:00
|
|
|
function prefs_parse($prefs_xml) {
|
|
|
|
global $parse_result;
|
2002-12-19 05:11:25 +00:00
|
|
|
|
2003-02-07 09:00:35 +00:00
|
|
|
$parse_result = default_prefs();
|
2002-09-27 06:12:50 +00:00
|
|
|
|
2002-05-29 23:25:21 +00:00
|
|
|
$xml_parser = xml_parser_create();
|
|
|
|
xml_parser_set_option($xml_parser, XML_OPTION_CASE_FOLDING, 0);
|
|
|
|
xml_set_element_handler($xml_parser, "element_start", "element_end");
|
|
|
|
xml_set_character_data_handler($xml_parser, "char_handler");
|
|
|
|
xml_parse($xml_parser, $prefs_xml, 1);
|
|
|
|
return $parse_result;
|
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////////////////
|
|
|
|
//
|
2002-09-27 06:12:50 +00:00
|
|
|
// display preference subsets, with Edit buttons
|
2002-05-29 23:25:21 +00:00
|
|
|
//
|
2002-09-27 06:12:50 +00:00
|
|
|
function prefs_show_global($prefs) {
|
2002-08-13 22:35:12 +00:00
|
|
|
|
|
|
|
echo "<p>";
|
2002-08-16 20:55:46 +00:00
|
|
|
echo "<table width=580 cellpadding=4>\n";
|
2002-12-19 05:11:25 +00:00
|
|
|
echo "<tr>".TD2.LG_FONT."<b>Global preferences</b></font>
|
|
|
|
<br><font size=-1>These apply to all BOINC projects in which you participate</font></td></tr>\n";
|
2003-02-07 09:00:35 +00:00
|
|
|
if ($prefs->dont_run_on_batteries) {
|
|
|
|
$batteries = "No";
|
|
|
|
} else {
|
|
|
|
$batteries = "Yes";
|
|
|
|
}
|
|
|
|
if ($prefs->dont_run_if_user_active) {
|
|
|
|
$in_use = "No";
|
|
|
|
} else {
|
|
|
|
$in_use = "Yes";
|
|
|
|
}
|
|
|
|
if ($prefs->confirm_before_connecting) {
|
|
|
|
$confirm = "Yes";
|
|
|
|
} else {
|
|
|
|
$confirm = "No";
|
|
|
|
}
|
2002-09-05 22:19:23 +00:00
|
|
|
row2a("<b>Work if computer on batteries: </b>", $batteries);
|
|
|
|
row2a("<b>Work if computer in use: </b>", $in_use);
|
|
|
|
row2a("<b>Confirm before connecting to network: </b>", $confirm);
|
2002-09-27 06:12:50 +00:00
|
|
|
row2a("<b>Minimum amount of work to buffer: </b>", "$prefs->low_water_days days");
|
|
|
|
row2a("<b>Maximum amount of work to buffer: </b>", "$prefs->high_water_days days");
|
2002-09-05 22:19:23 +00:00
|
|
|
|
|
|
|
|
2002-08-13 22:35:12 +00:00
|
|
|
echo "<p>";
|
2002-09-27 06:12:50 +00:00
|
|
|
row2a("<b>Maximum disk space to use: </b>", "$prefs->disk_max_used_gb GB");
|
|
|
|
row2a("<b>Minimum disk space to leave free: </b>", "$prefs->disk_min_free_gb GB");
|
2002-09-05 22:19:23 +00:00
|
|
|
row2a("<b>Maximum % of disk allowed to used: </b>", "$prefs->disk_max_used_pct %");
|
2002-09-27 06:12:50 +00:00
|
|
|
echo "<tr><td><a href=prefs_edit_global_form.php>Edit global preferences</a></td></tr>\n";
|
2002-08-13 22:35:12 +00:00
|
|
|
echo "</table>\n";
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
|
2002-09-26 05:57:10 +00:00
|
|
|
function prefs_show_project($prefs) {
|
2002-08-13 22:35:12 +00:00
|
|
|
echo "<p>";
|
2002-08-16 20:55:46 +00:00
|
|
|
echo "<table width=580 cellpadding=4>\n";
|
2002-12-19 05:11:25 +00:00
|
|
|
echo "<tr>".TD2.LG_FONT."<b>Project preferences</b></font>
|
|
|
|
<br><font size=-1>These apply only to this project</font></td></tr>\n";
|
2002-09-27 17:42:30 +00:00
|
|
|
row2a("<b>Resource Share: </b>", $prefs->resource_share);
|
2003-02-07 09:00:35 +00:00
|
|
|
$prefs = project_specific_prefs_parse($prefs->project_specific);
|
2002-12-19 05:11:25 +00:00
|
|
|
project_specific_prefs_show($prefs);
|
2002-09-27 06:12:50 +00:00
|
|
|
echo "<tr><td><a href=prefs_edit_project_form.php>Edit project preferences</a></td></tr>\n";
|
2002-08-13 22:35:12 +00:00
|
|
|
echo "</table>";
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
|
2002-09-27 17:42:30 +00:00
|
|
|
function print_prefs_display($user) {
|
|
|
|
prefs_show_project(prefs_parse($user->project_prefs));
|
2003-02-07 09:00:35 +00:00
|
|
|
prefs_show_resource(prefs_parse($user->project_prefs));
|
|
|
|
prefs_show_global(prefs_parse($user->global_prefs));
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// Functions to display preference subsets as forms
|
|
|
|
//
|
2003-02-07 09:00:35 +00:00
|
|
|
function prefs_form_global($user, $prefs, $next_url) {
|
|
|
|
echo "<form action=prefs_edit_global_action.php>
|
|
|
|
<input type=hidden name=next_url value=$next_url>
|
|
|
|
<table cellpadding=6>
|
|
|
|
<tr>
|
|
|
|
<td align=right>Should ".PROJECT." run while computer is on batteries?
|
|
|
|
<br><font size=-1>(This matters only for portable computers)</font>
|
|
|
|
</td><td valign=top>
|
|
|
|
";
|
|
|
|
printf("Yes <input type=radio name=dont_run_on_batteries %s>\n", $prefs->dont_run_on_batteries?"":"checked");
|
|
|
|
printf("No <input type=radio name=dont_run_on_batteries %s>\n", $prefs->dont_run_on_batteries?"checked":"");
|
|
|
|
echo "</td></tr>
|
|
|
|
<tr>
|
|
|
|
<td align=right>Should ".PROJECT." run while you're using the computer?
|
|
|
|
</td><td valign=top>
|
|
|
|
";
|
|
|
|
printf("Yes <input type=radio name=dont_run_if_user_active %s>\n", $prefs->dont_run_if_user_active?"":"checked");
|
|
|
|
printf("No <input type=radio name=dont_run_if_user_active %s>\n", $prefs->dont_run_if_user_active?"checked":"");
|
|
|
|
echo "</td></tr>
|
|
|
|
<tr>
|
|
|
|
<td align=right>Wait for your OK before connecting to Internet?
|
|
|
|
<br><font size=-1>(This matters only if you use a modem)</font>
|
|
|
|
</td><td valign=top>
|
|
|
|
";
|
|
|
|
printf("Yes <input type=radio name=confirm_before_connecting %s>\n", $prefs->confirm_before_connecting?"checked":"");
|
|
|
|
printf("No <input type=radio name=confirm_before_connecting %s>\n", $prefs->confirm_before_connecting?"":"checked");
|
|
|
|
echo "</td></tr>
|
|
|
|
<tr>
|
|
|
|
<td align=right>Keep enough to work on disk to last between
|
|
|
|
</td><td>
|
|
|
|
<input size=5 name=low_water_days value='$prefs->low_water_days'>
|
|
|
|
and
|
|
|
|
<input size=5 name=high_water_days value='$prefs->high_water_days'> days
|
|
|
|
</td></tr>
|
|
|
|
<tr><td colspan=2>
|
|
|
|
You can limit the disk space used by ".PROJECT." in three different ways:
|
|
|
|
</td></tr>
|
|
|
|
<tr>
|
|
|
|
<td align=right valign=top>Use no more than</td>
|
|
|
|
<td><input size=7 name=disk_max_used_gb value='$prefs->disk_max_used_gb'> Gbytes</td>
|
|
|
|
</tr>
|
|
|
|
<tr>
|
|
|
|
<td align=right valign=top>Leave at least</td>
|
|
|
|
<td><input size=7 name=disk_min_free_gb value='$prefs->disk_min_free_gb'> Gbytes free</td>
|
|
|
|
</tr>
|
|
|
|
<tr>
|
|
|
|
<td align=right valign=top>Use no more than</td>
|
|
|
|
<td><input size=5 name=disk_max_used_pct value='$prefs->disk_max_used_pct'> % of total space</td>
|
|
|
|
</tr>
|
|
|
|
<tr><td><br></td><td><input type=submit value=\"OK\"></td></tr>
|
|
|
|
</table>
|
|
|
|
</form>
|
|
|
|
";
|
|
|
|
}
|
|
|
|
|
|
|
|
function prefs_form_resource($prefs_xml, $next_url) {
|
|
|
|
$prefs = project_specific_prefs_parse($prefs_xml);
|
|
|
|
echo "<form action=prefs_edit_resource_action.php>
|
|
|
|
<input type=hidden name=next_url value=$next_url>
|
|
|
|
<table cellpadding=6>
|
|
|
|
<tr>
|
|
|
|
<td align=right><b>Resource share:</b>
|
|
|
|
<font size=-1><br>The proportion of your resources
|
|
|
|
<br>allocated to ".PROJECT.".</font></td>
|
|
|
|
<td><input name=resource_share value='$prefs->resource_share'></td>
|
|
|
|
<tr><td><br></td><td><input type=submit value=OK></td></tr>
|
|
|
|
</tr></table></form>
|
|
|
|
";
|
2002-04-30 22:22:54 +00:00
|
|
|
}
|
|
|
|
|
2003-02-07 09:00:35 +00:00
|
|
|
function prefs_form_project($prefs_xml, $next_url) {
|
|
|
|
$prefs = project_specific_prefs_parse($prefs_xml);
|
|
|
|
echo "<form action=prefs_edit_project_action.php>
|
|
|
|
<input type=hidden name=next_url value=$next_url>
|
|
|
|
<table cellpadding=6>
|
|
|
|
";
|
|
|
|
project_specific_prefs_edit($prefs);
|
|
|
|
echo "
|
|
|
|
<tr><td><br></td><td><input type=submit value=OK></td></tr>
|
|
|
|
</table>
|
|
|
|
</form>
|
|
|
|
";
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// Functions to parse form elements, modifying a preferences structure
|
|
|
|
//
|
2002-09-27 06:12:50 +00:00
|
|
|
function prefs_global_parse_form(&$prefs) {
|
2002-05-29 23:25:21 +00:00
|
|
|
parse_str(getenv("QUERY_STRING"));
|
|
|
|
$prefs->dont_run_on_batteries = isset($dont_run_on_batteries)?1:0;
|
|
|
|
$prefs->dont_run_if_user_active = isset($dont_run_if_user_active)?1:0;
|
|
|
|
$prefs->confirm_before_connecting = isset($confirm_before_connecting)?1:0;
|
2002-06-01 20:26:21 +00:00
|
|
|
$prefs->low_water_days = $low_water_days;
|
|
|
|
$prefs->high_water_days = $high_water_days;
|
2002-05-29 23:25:21 +00:00
|
|
|
$prefs->disk_max_used_gb = $disk_max_used_gb;
|
|
|
|
$prefs->disk_max_used_pct = $disk_max_used_pct;
|
|
|
|
$prefs->disk_min_free_gb = $disk_min_free_gb;
|
|
|
|
}
|
|
|
|
|
2003-02-07 09:00:35 +00:00
|
|
|
function prefs_resource_parse_form(&$prefs) {
|
2002-05-29 23:25:21 +00:00
|
|
|
parse_str(getenv("QUERY_STRING"));
|
2002-09-27 06:12:50 +00:00
|
|
|
$prefs->resource_share = $resource_share;
|
2003-02-07 09:00:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
function prefs_project_parse_form(&$prefs) {
|
2002-12-19 05:11:25 +00:00
|
|
|
$prefs->project_specific = project_specific_prefs_parse_form();
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
|
2003-02-07 09:00:35 +00:00
|
|
|
|
2002-05-29 23:25:21 +00:00
|
|
|
////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// convert prefs from structure to XML
|
|
|
|
//
|
2002-09-27 06:12:50 +00:00
|
|
|
function global_prefs_make_xml($prefs) {
|
|
|
|
$xml = "<global_preferences>\n";
|
2002-09-29 00:32:11 +00:00
|
|
|
$now = time();
|
2003-02-07 09:00:35 +00:00
|
|
|
$xml = $xml."<mod_time>$now</mod_time>\n";
|
2002-05-29 23:25:21 +00:00
|
|
|
if ($prefs->dont_run_on_batteries) {
|
2003-02-07 09:00:35 +00:00
|
|
|
$xml = $xml."<dont_run_on_batteries/>\n";
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
if ($prefs->dont_run_if_user_active) {
|
2003-02-07 09:00:35 +00:00
|
|
|
$xml = $xml."<dont_run_if_user_active/>\n";
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
if ($prefs->confirm_before_connecting) {
|
2003-02-07 09:00:35 +00:00
|
|
|
$xml = $xml."<confirm_before_connecting/>\n";
|
2003-02-04 01:17:56 +00:00
|
|
|
}
|
2003-02-07 09:00:35 +00:00
|
|
|
$xml = $xml."<low_water_days>$prefs->low_water_days</low_water_days>
|
|
|
|
<high_water_days>$prefs->high_water_days</high_water_days>
|
|
|
|
";
|
|
|
|
$xml = $xml."<disk_max_used_gb>$prefs->disk_max_used_gb</disk_max_used_gb>
|
|
|
|
<disk_max_used_pct>$prefs->disk_max_used_pct</disk_max_used_pct>
|
|
|
|
<disk_min_free_gb>$prefs->disk_min_free_gb</disk_min_free_gb>
|
|
|
|
";
|
2002-09-27 06:12:50 +00:00
|
|
|
$xml = $xml."</global_preferences>\n";
|
2002-05-29 23:25:21 +00:00
|
|
|
return $xml;
|
|
|
|
}
|
|
|
|
|
2002-09-27 06:12:50 +00:00
|
|
|
function project_prefs_make_xml($prefs) {
|
|
|
|
$xml = "<project_preferences>\n";
|
2002-09-27 17:42:30 +00:00
|
|
|
$xml = $xml
|
|
|
|
."<resource_share>$prefs->resource_share</resource_share>\n"
|
|
|
|
."<project_specific>\n$prefs->project_specific\n</project_specific>\n";
|
2002-09-27 06:12:50 +00:00
|
|
|
$xml = $xml."</project_preferences>\n";
|
2002-09-27 17:42:30 +00:00
|
|
|
return $xml;
|
2002-09-27 06:12:50 +00:00
|
|
|
}
|
|
|
|
|
2002-05-29 23:25:21 +00:00
|
|
|
////////////////////////////////////////////
|
|
|
|
//
|
|
|
|
// Update user's prefs in database, from a given structure
|
|
|
|
//
|
2002-12-19 05:11:25 +00:00
|
|
|
function global_prefs_update(&$user, $prefs) {
|
2002-09-27 06:12:50 +00:00
|
|
|
$prefs_xml = global_prefs_make_xml($prefs);
|
2002-09-29 00:32:11 +00:00
|
|
|
mysql_query("update user set global_prefs='$prefs_xml' where id=$user->id");
|
2002-09-27 17:42:30 +00:00
|
|
|
$user->global_prefs = $prefs_xml;
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
|
2002-12-19 05:11:25 +00:00
|
|
|
function project_prefs_update(&$user, $prefs) {
|
2002-09-27 06:12:50 +00:00
|
|
|
$prefs_xml = project_prefs_make_xml($prefs);
|
|
|
|
mysql_query("update user set project_prefs='$prefs_xml' where id=$user->id");
|
2002-09-27 17:42:30 +00:00
|
|
|
$user->project_prefs = $prefs_xml;
|
2002-05-29 23:25:21 +00:00
|
|
|
}
|
|
|
|
|
2002-04-30 22:22:54 +00:00
|
|
|
?>
|