blob: c5e2827372f7177c9680e46cda367a18d862bd8b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
<?php
///////////////////////////////////////////////////////////////////////////////
//
// pgPhoneHome - Postgres Monitor for iPhone
// Copyright 2008, EnterpriseDB UK Ltd.
// Dave Page (dave.page@enterprisedb.com)
//
// server.php - Main server menu
//
///////////////////////////////////////////////////////////////////////////////
require "config.php";
require "misc.php";
// Get the server number
if (isset($_GET['s']))
$server = intval($_GET['s']);
else
$server = -1;
if ($server == -1 || $servers[$server]["description"] == "" || $servers[$server]["connstr"] == "")
www_error("Invalid server", "The specified server number ($server) does not have a valid configuration.");
$description = $servers[$server]["description"];
// Echo the main menus for a server
$text = <<<EOT
<ul id="server$server" title="Tools">
<li class="group">Server: $description</li>
<li><img src="images/info.png" class="mi"><a href="info.php?s=$server">Info</a></li>
<li><img src="images/connections.png" class="mi"><a href="connections.php?s=$server">Connections</a></li>
<li><img src="images/gucs.png" class="mi"><a href="gucs.php?s=$server">GUCs</a></li>
<li><img src="images/locks.png" class="mi"><a href="locks.php?s=$server">Locks</a></li>
<li><img src="images/transactions.png" class="mi"><a href="transactions.php?s=$server">Prepared transactions</a></li>
<li><img src="images/query.png" class="mi"><a href="query.php?s=$server">SQL query</a></li>
</ul>
EOT;
echo $text;
exit();
?>
|
