public_key)) $mnet_peer->public_key = ''; ?> deleted) && $mnet_peer->deleted > 0) { $key = mnet_get_public_key($mnet_peer->wwwroot, $mnet_peer->application->xmlrpc_server_url); $mnet_peer->public_key = clean_param($key, PARAM_PEM); } ?> id) && $mnet_peer->id > 0) { ?> deleted) && $mnet_peer->deleted > 0){ ?> ip_address) && '' != $mnet_peer->ip_address){ ?>

:
:
'; helpbutton("publickey", get_string('publickey', 'mnet'), "mnet", true, true); ?>	public_key)) { print_string('nopubkey', 'mnet'); } ?> <?php echo $mnet_peer->public_key; ?>
:	public_key_expires < time()) { print_string('expired', 'mnet'); echo ' '; } echo userdate($mnet_peer->public_key_expires); ?>
:
:	last_connect_time == 0)? get_string('never','mnet') : date('H:i:s d/m/Y',$mnet_peer->last_connect_time);?>
:
'; helpbutton("ipaddress", get_string('ipaddress', 'mnet'), "mnet", true, true); ?>:	ip_address; ?>
	" />