GSP/Panel
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Revert "Complete rebrand from Open Game Panel (OGP) to GameServer Panel (GSP)"

Browse source
This commit is contained in:
Frank Harris 2025-09-08 12:42:34 -05:00 • committed by GitHub
parent 02c94766c6
commit deee7d6ac5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
308 changed files with 1412 additions and 1412 deletions
Download patch file Download diff file Expand all files Collapse all files

8
modules/user_games/clone_home.php
View file

@ -3,7 +3,7 @@
* Component of the user_games module
*/
function exec_gsp_module()
function exec_ogp_module()
{
global $db, $settings;
@ -25,7 +25,7 @@ function exec_gsp_module()
echo create_back_button('user_games');
include_once('includes/lib_remote.php');
$remote = new GSPRemoteLibrary($server_row['agent_ip'],$server_row['agent_port'],$server_row['encryption_key'],$server_row['timeout']);
$remote = new OGPRemoteLibrary($server_row['agent_ip'],$server_row['agent_port'],$server_row['encryption_key'],$server_row['timeout']);
if(isset($_REQUEST['clone_home']))
{
@ -35,7 +35,7 @@ function exec_gsp_module()
$web_user = $web_user["users_login"];
// Game path logic
$game_path = "/home/".$server_row['gsp_user']."/GSP_User_Files/"; // Default
$game_path = "/home/".$server_row['ogp_user']."/OGP_User_Files/"; // Default
$skipId = false;
if(hasValue($default_home_dir)){
@ -179,7 +179,7 @@ function exec_gsp_module()
$ft->add_field('string','new_home_name',htmlentities($server_row['home_name']));
echo "<tr><td class='right'>".get_lang('clone_mods').":</td>
<td class='left'><input type='checkbox' name='clone_mods' value='y' /></td></tr>";
echo "<input name='user_group' type='hidden' value='".get_user_uid_gid_from_passwd($passwd_array,$server_row['gsp_user'])."' /></tr>";
echo "<input name='user_group' type='hidden' value='".get_user_uid_gid_from_passwd($passwd_array,$server_row['ogp_user'])."' /></tr>";
echo "</table>";
$ft->add_button('submit','clone_home',get_lang('clone_home'));
echo "<p class='info'>".get_lang('the_name_of_the_server_to_help_users_to_identify_it')."</p>";