📄 save_server_info.php
字号:
<?
/*
* Copyright 2005 Nokia. All rights reserved.
*/
include 'logged_in.php';
include 'database_access.php';
$login = $_POST['user'];
$address = $_POST['address'];
$port = $_POST['port'];
$query = "DELETE from serversettings";
mysql_query($query);
$query = "INSERT INTO serversettings(address, port, servertype) VALUES ('".$address."','".$port."','PHP')";
mysql_query($query);
if (mysql_error())
{
$_SESSION['info_msg'] = "An error occurred while modifying a server settings: ".mysql_error();
header('Location: accounts.php');
}
header('Location: accounts.php');
?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -