isAdmin($_SESSION['user_id']); if (empty($home_id) || $home_id === 0) { print_failure(get_lang('no_server_specfied')); $view->refresh("?m=gamemanager&p=game_monitor"); return; } if ($isAdmin) { $server_home = $db->getGameHome($home_id); } else { $server_home = $db->getUserGameHome($_SESSION['user_id'], $home_id); } if ($server_home === false) { print_failure(get_lang('no_home')); $view->refresh("?m=gamemanager&p=game_monitor"); return; } $server_xml = read_server_config(SERVER_CONFIG_LOCATION .'/'. $server_home['home_cfg_file']); $files = getFilesInXML($server_xml->configuration_files); if (empty($files)) { print_failure(get_lang('no_configs_for_game')); $view->refresh("?m=gamemanager&p=game_monitor"); } else { echo '

'.get_lang('configuration_files').'

'; echo ''; foreach ($files as $file) { echo ''; } echo '

'.get_lang('name').'	'.get_lang('description').'	'.get_lang('actions').'
'. $file['name'] .'	'. ($file['description'] ?: ''.get_lang('no_description').'') .'	[ '.get_lang('edit').' ]

'; } $modKey = key($server_home['mods']); $IpPorts = $db->getHomeIpPorts($home_id); echo '

'.get_lang('go_back').'

'; }