mirror of
https://github.com/moodle/moodle.git
synced 2025-02-21 01:48:45 +01:00
58 lines
2.2 KiB
PHP
58 lines
2.2 KiB
PHP
<?php
|
|
|
|
require_once(dirname(dirname(dirname(__FILE__))) . '/config.php');
|
|
include_once($CFG->dirroot.'/mnet/lib.php');
|
|
$stradministration = get_string('administration');
|
|
$strconfiguration = get_string('configuration');
|
|
$strmnetsettings = get_string('mnetsettings', 'mnet');
|
|
$strmnetservices = get_string('mnetservices', 'mnet');
|
|
$strmnetlog = get_string('mnetlog', 'mnet');
|
|
$strmnetedithost = get_string('reviewhostdetails', 'mnet');
|
|
require_login();
|
|
|
|
$context = get_context_instance(CONTEXT_SYSTEM);
|
|
|
|
require_capability('moodle/site:config', $context, $USER->id, true, "nopermissions");
|
|
|
|
$site = get_site();
|
|
|
|
/// Initialize variables.
|
|
|
|
// Step must be one of:
|
|
// input Parse the details of a new host and fetch its public key
|
|
// commit Save our changes (to a new OR existing host)
|
|
$step = optional_param('step', 'verify', PARAM_ALPHA);
|
|
$hostid = required_param('hostid', PARAM_INT);
|
|
$warn = array();
|
|
|
|
if ($_SERVER['REQUEST_METHOD'] != 'POST') {
|
|
redirect('index.php', get_string('postrequired','mnet') ,7);
|
|
}
|
|
|
|
require_sesskey();
|
|
|
|
if ('verify' == $step) {
|
|
$mnet_peer = new mnet_peer();
|
|
$mnet_peer->set_id($hostid);
|
|
$live_users = $mnet_peer->count_live_sessions();
|
|
if ($live_users > 0) {
|
|
$warn[] = get_string('usersareonline', 'mnet', $live_users);
|
|
}
|
|
$PAGE->set_url(new moodle_url($CFG->wwwroot.'/admin/mnet/delete.php'));
|
|
$PAGE->navbar->add($stradministration, new moodle_url($CFG->wwwroot.'/'.$CFG->admin.'/index.php'));
|
|
$PAGE->navbar->add(get_string('mnetsettings', 'mnet'), new moodle_url($CFG->wwwroot.'/'.$CFG->admin.'/mnet/index.php'));
|
|
$PAGE->navbar->add(get_string('deletehost', 'mnet'));
|
|
|
|
$PAGE->set_title("$site->shortname: $strmnetsettings");
|
|
$PAGE->set_heading($site->fullname);
|
|
echo $OUTPUT->header();
|
|
echo $OUTPUT->heading(get_string('mnetsettings', 'mnet'));
|
|
include('delete.html');
|
|
echo $OUTPUT->footer();
|
|
} elseif ('delete' == $step) {
|
|
$mnet_peer = new mnet_peer();
|
|
$mnet_peer->set_id($hostid);
|
|
$mnet_peer->delete();
|
|
redirect('peers.php', get_string('hostdeleted', 'mnet'), 5);
|
|
}
|