This file is indexed.

/usr/share/netmrg/webfiles/user_prefs.php is in netmrg 0.20-7.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
<?php
/********************************************
* NetMRG Integrator
*
* user_prefs.php
* User Preferences Page
*
* see doc/LICENSE for copyright information
********************************************/


require_once("../include/config.php");
check_auth($GLOBALS['PERMIT']["SingleViewOnly"]);

// check default action
if (empty($_REQUEST['action']))
{
	$_REQUEST["action"] = "edit";
} // end if no action

// check that user id is set
if (empty($_REQUEST["uid"]))
{
	$_REQUEST["uid"] = GetUserID();
} // end if user id isn't set

// check that user is the same as the one they want to edit
// or we're an admin
if ($_SESSION["netmrgsess"]["permit"] != 3
	&& $_REQUEST["uid"] !== false 
	&& GetUserID() != $_REQUEST["uid"])
{
	header("Location: {$GLOBALS['netmrg']['webroot']}/error.php?action=denied");
	exit(0);
} // end if not user to edit or admin

// check that user is not the default map user
if ($_SESSION["netmrgsess"]["username"] == $GLOBALS["netmrg"]["defaultMapUser"])
{
	header("Location: {$GLOBALS['netmrg']['webroot']}/error.php?action=denied");
	exit(0);
} // end if default map user


// check what to do
switch ($_REQUEST['action'])
{
	case "update":
		update($_REQUEST["uid"]);
		break;

	case "edit":
	default:
		edit($_REQUEST["uid"]);
		break;
} // end switch action



/***** FUNCTIONS *****/

/**
* edit($uid)
*
* edits a user's preferences
*/
function edit($uid)
{
	$username = GetUsername($uid);

	begin_page("user_prefs.php", "User Preferences ($username)");

	make_edit_table("Edit Preferences for $username");
	make_edit_hidden("action", "update");
	make_edit_hidden("uid", $uid);

	// edit password
	if (!$GLOBALS["netmrg"]["externalAuth"])
	{
		make_edit_section('Password');
		make_edit_password("Password:", "password", "25", "50", "");
		make_edit_password("Verify Password:", "vpassword", "25", "50", "");
	} // end if no external auth, show password dialog

	// slide show
	make_edit_section('Slide Show');
	make_edit_checkbox("Auto Scroll", "ss_auto_scroll", GetUserPref($_REQUEST["uid"], "SlideShow", "AutoScroll"));

	make_edit_submit_button();
	make_edit_end();

	end_page();
} // end edit();


/**
* update($uid)
*
* update's a user's info
*/
function update($uid)
{
	$username = GetUsername($uid);

	begin_page("user_prefs.php", "User Preferences ($username)");

	// array of error messages
	$errors = array();
	// array of results
	$results = array();

	// if password
	if (!empty($_REQUEST["password"]))
	{
		if ($_REQUEST["password"] != $_REQUEST["vpassword"])
		{
			array_push($errors, "Your passwords do not match");
		} // end if passwords don't match
	} // end if ! password

	// if there were errors, display them and quit
	if (count($errors) != 0)
	{
		DisplayErrors($errors);
		return;
	} // end if errors

	// update password
	if (!empty($_REQUEST["password"]))
	{
		db_query("UPDATE user SET pass = md5('{$_REQUEST['password']}')
			WHERE id = '$uid'");
		array_push($results, "Password updated successfully.");
	} // end if ! password

	// update slide show auto scroll
	SetUserPref($_REQUEST["uid"], "SlideShow", "AutoScroll", !empty($_REQUEST["ss_auto_scroll"]));
	array_push($results, "Slide Show Auto Scroll was set to ".(!empty($_REQUEST["ss_auto_scroll"]) ? "true" : "false"));

	// print results
	if (count($results) == 0)
	{
		array_push($results, "Nothing was modified");
	} // end if no results
	DisplayResults($results);

	end_page();
} // end update();


?>