-<?
+<?php
require 'inc/init.php';
// This is our context.
$pageno = 'objects';
$tabno = 'default';
- authorize();
+ fixContext();
+ if (!permitted())
+ {
+ renderAccessDenied();
+ die;
+ }
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en" style="height: 100%;">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
-<?
+<?php
echo '<title>' . getTitle ($pageno, $tabno) . "</title>\n";
echo "<link rel=stylesheet type='text/css' href=pi.css />\n";
echo "<link rel=icon href='" . getFaviconURL() . "' type='image/x-icon' />";
<input type=hidden id='remote_port_name'>
<input type=hidden id='remote_object_name'>
<select size="30" id="ports">
-<?
+<?php
$type_id = $_REQUEST['type'];
$port_id = $_REQUEST['port'];
$object_id = $_REQUEST['object_id'];