2 require 'inc/init.php';
3 // This is our context.
8 <!DOCTYPE html
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
9 <html xmlns
="http://www.w3.org/1999/xhtml" xml
:lang
="en" lang
="en" style
="height: 100%;">
11 <meta http
-equiv
="Content-Type" content
="text/html; charset=UTF-8" />
13 echo '<title>' . getTitle ($pageno, $tabno) . "</title>\n";
14 echo "<link rel=stylesheet type='text/css' href=pi.css />\n";
15 echo "<link rel=icon href='" . getFaviconURL() . "' type='image/x-icon' />";
18 <body style
="height: 100%;">
19 <form action
="javascript:;">
20 <div style
="background-color: #f0f0f0; border: 1px solid #3c78b5; padding: 10px; height: 100%; text-align: center; margin: 5px;">
21 <h2
>Choose a port
:</h2
><br
><br
>
22 <input type
=hidden id
='ip'>
23 <select size
="30" id
="addresses">
26 renderObjectAddressesAndNames ();
29 <input type
='submit' value
='Proceed' onclick
='if (getElementById("ip")!="") { opener.document.getElementById("remoteip").value=getElementById("ip").value; window.close();}'>