function draw_usermap($type) { global $GMAP_API_KEY, $USERMAP_JSONFILE, $USERMAP_TYPE_FULLSCREEN, $USERMAP_TYPE_EMBED, $USERMAP_TYPE_NORMAL, $USERMAP_LOC, $THISHOMEBASE, $USERMAP_SCRIPTHEADERS, $TBBASE; if ($GMAP_API_KEY == "") { if ($type == $USERMAP_TYPE_EMBED) { echo "<p><b>Google Map API key not set</b></p>"; } else { PAGEERROR("Google Map API key not set"); } } if (!file_exists($USERMAP_JSONFILE)) { if ($type == $USERMAP_TYPE_EMBED) { echo "<p><b>JSON data source not created</b></p>"; } else { PAGEERROR("JSON data source not created"); } } # # If in fullscreen mode, we don't emit the standard header, just emit the # HTML ourselves # if ($type == $USERMAP_TYPE_FULLSCREEN) { $divstyle = "width: 100%; height: 100%; margin: 0px; padding: 0px;"; ?> <!DOCTYPE html "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="content-type" content="text/html; charset=utf-8"/> <title><?php echo $THISHOMEBASE; ?> User Map</title> <script src="<?php echo $TBBASE; ?> /onload.js" type="text/javascript"> </script> <?php echo $USERMAP_SCRIPTHEADERS; ?> </head> <body style="margin: 0px; padding: 0px;"> <?php } else { $divstyle = "width: 850px; height: 400px; margin-right: auto; margin-left: auto"; if ($type != $USERMAP_TYPE_EMBED) { PAGEHEADER("User Map", NULL, $USERMAP_SCRIPTHEADERS); echo "<p>This map shows the cities with registered users of this "; echo "testbed. Numbers on the markers give the numbers of users "; echo "in a region. You can zoom in to see more detail, and "; echo "clicking on a maker will bring up a list of the cities it "; echo "represents.</p>"; } } # # The meat - where the map will get displayed # echo "<div id=\"map_canvas\" style=\"{$divstyle}\"></div>\n"; if (isset($fullscreen)) { echo "</body></html>"; } else { echo "<a href=\"{$USERMAP_LOC}/?fullscreen=true\">larger version</a>"; if ($type != $USERMAP_TYPE_EMBED) { PAGEFOOTER(); } } }
if (!isset($redirected) || $redirected == 0) { $uri = $_SERVER['REQUEST_URI'] . "&redirected=1"; header("Location: https://{$WWWHOST}" . $uri); return; } # # Check the login table for the user, and see if the key is really # the md5 of the login hash. If so, do a login. # $target_uid = $user->uid(); $safe_key = addslashes($key); $query_result = DBQueryFatal("select * from login " . "where uid='{$target_uid}' and hashhash='{$safe_key}' and " . " timeout > UNIX_TIMESTAMP(now())"); if (!mysql_num_rows($query_result)) { # Short delay. sleep(1); PAGEERROR("Invalid peer login request"); } # Delete the entry so it cannot be reused, even on failure. DBQueryFatal("delete from login " . "where uid='{$target_uid}' and hashhash='{$safe_key}'"); # # Now do the login, which can still fail. # $dologin_status = DOLOGIN($user->uid(), "", 0, 1); if ($dologin_status == DOLOGIN_STATUS_WEBFREEZE) { # Short delay. sleep(1); PAGEHEADER("Login"); echo "<h3>\n Your account has been frozen due to earlier login attempt\n failures. You must contact {$TBMAILADDR} to have your account\n restored. <br> <br>\n Please do not attempt to login again; it will not work!\n </h3>\n"; PAGEFOOTER(); die(""); } else {