11 	$id = $_GET["id"];  variable
12 	if (!is_numeric($id))
13 		$id = 0;  variable
15 	$id = 0;  variable
21 if ($cmd == 'eventlog' && $id > 0) {
22 	$row = $db->query("SELECT dump FROM eventlog WHERE rowid=$id")->fetch();
35 if ($cmd == 'mo' && $id > 0) {
41 	$row = $db->query("SELECT $mo FROM users WHERE rowid=$id")->fetch();
48 if ($cmd == 'cert' && $id > 0) {
49 	$row = $db->query("SELECT cert_pem FROM users WHERE rowid=$id")->fetch();
63 if ($cmd == 'subrem-clear' && $id > 0) {
64 	$db->exec("UPDATE users SET remediation='' WHERE rowid=$id");
66 if ($cmd == 'subrem-add-user' && $id > 0) {
67 	$db->exec("UPDATE users SET remediation='user' WHERE rowid=$id");
69 if ($cmd == 'subrem-add-machine' && $id > 0) {
70 	$db->exec("UPDATE users SET remediation='machine' WHERE rowid=$id");
72 if ($cmd == 'subrem-add-policy' && $id > 0) {
73 	$db->exec("UPDATE users SET remediation='policy' WHERE rowid=$id");
75 if ($cmd == 'subrem-add-free' && $id > 0) {
76 	$db->exec("UPDATE users SET remediation='free' WHERE rowid=$id");
78 if ($cmd == 'fetch-pps-on' && $id > 0) {
79 	$db->exec("UPDATE users SET fetch_pps=1 WHERE rowid=$id");
81 if ($cmd == 'fetch-pps-off' && $id > 0) {
82 	$db->exec("UPDATE users SET fetch_pps=0 WHERE rowid=$id");
84 if ($cmd == 'reset-pw' && $id > 0) {
85 	$db->exec("UPDATE users SET password='ChangeMe' WHERE rowid=$id");
87 if ($cmd == "policy" && $id > 0 && isset($_GET["policy"])) {
91 		$db->exec("UPDATE users SET policy='$policy' WHERE rowid=$id");
94 if ($cmd == "account-type" && $id > 0 && isset($_GET["type"])) {
97 		$db->exec("UPDATE users SET shared=1 WHERE rowid=$id");
99 		$db->exec("UPDATE users SET shared=0 WHERE rowid=$id");
102 if ($cmd == "set-osu-cred" && $id > 0) {
107   $db->exec("UPDATE users SET osu_user='$osu_user', osu_password='$osu_password' WHERE rowid=$id");
112 if ($id > 0) {
123 	echo "[<a href=\"users.php?id=$id&dump=1\">Include debug dump</a>] ";
125 	echo "[<a href=\"users.php?id=$id\">Without debug dump</a>] ";
128 $row = $db->query("SELECT rowid,* FROM users WHERE rowid=$id")->fetch();
134 	echo "[<a href=\"users.php?cmd=mo&id=$id&mo=devinfo\">DevInfo</a>]\n";
137 	echo "[<a href=\"users.php?cmd=mo&id=$id&mo=devdetail\">DevDetail</a>]\n";
140 	echo "[<a href=\"users.php?cmd=mo&id=$id&mo=pps\">PPS</a>]\n";
143 	echo "[<a href=\"users.php?cmd=cert&id=$id\">Certificate</a>]\n";
150 		"[<a href=\"users.php?cmd=fetch-pps-off&id=$id\">" .
154 		"[<a href=\"users.php?cmd=fetch-pps-on&id=$id\">" .
244 if ($id > 0 || ($id == 0 && $cmd == 'eventlog')) {
246   if ($id == 0) {
253 if ($id == 0) {
266 if ($id == 0)
274 	if ($id == 0) {
300 if ($id == 0 && $cmd != 'eventlog') {