php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

stay on same page when switching mirrors

Browse Source
This commit is contained in:
jim winstead
2001-07-07 03:41:10 +00:00
parent 1afe00e75b
commit ae3a778ead
2 changed files with 8 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
include/layout.inc
View File

@@ -285,7 +285,7 @@ function commonHeader($title="",$dont_enclose=0,$headers_gone=0) {
#
function commonFooter() {
global $SCRIPT_NAME,$MYSITE,$LAST_UPDATED,$enclosed;
global $SCRIPT_NAME,$MYSITE,$LAST_UPDATED,$PHP_SELF,$enclosed;
if ($enclosed) {
echo "</td></tr></table></td></tr></table>\n";
}
@@ -301,16 +301,16 @@ function commonFooter() {
function gotomirror(form) {
url = form.country.options[form.country.selectedIndex].value;
if (url != '<?php echo $MYSITE; ?>') {
window.location.href = url;
current = window.location.href;
window.location.href = url+current.substr(<?echo strlen($MYSITE)?>);
}
return false;
}
//-->
</script>
<input type="hidden" name="REDIRECT" value="1">
<input type="hidden" name="REDIRECT" value="1" />
<input type="hidden" name="FROM" value="<?php echo htmlspecialchars($PHP_SELF)?>" />
<?php
# TODO: should send current url above, so we can redirect to
# the same page on the mirror, and do the same in our javascript.
print_link('/source.php?url='.$SCRIPT_NAME, 'show source', false, 'class="small"');
echo delim();
print_link('/credits.php', 'credits', false, 'class="small"');

5
mirrors.php
View File

@@ -1,7 +1,8 @@
<?php
require_once 'prepend.inc';
if (isset($country)) {
header("Location: http://$country.php.net/");
if (isset($REDIRECT)) {
header("Location: $country$FROM");
exit;
}
commonHeader("Mirrors Page");
?>