servers/details.php

   1 <?php
   2 require_once "../common.php";
   3 require_once "../header.php";
   4
   5 $title = "Server Lookup";
   6 $servername = "";
   7 $srv = NULL;
   8 if (isset($_GET['server']))
   9 {
  10         $servername = $_GET['server'];
  11         $srv = $rpc->server()->get($servername);
  12
  13         if (!$srv)
  14         {
  15                 Message::Fail("Could not find server: \"$servername\"");
  16         }
  17
  18   else {
  19                 $servername = $srv->name;
  20                 $title .= " for \"" . $servername . "\"";
  21         }
  22 }
  23 ?>
  24 <title><?php echo $title; ?></title>
  25 <h4><?php echo $title; ?></h4>
  26 <br>
  27 <form method="get" action="details.php">
  28 <div class="input-group short-form-control justify-content-center align-items-center">
  29         <input style="margin: 0%; height: 24px;" class="left-pan form-control" id="server" name="server" type="text" value=<?php echo $servername; ?>>
  30         <div class="input-group-append">
  31                 <br><button type="submit" class="btn btn-primary">Go</button>
  32         </div>
  33 </div>
  34 </form>
  35
  36 <?php if (!$srv)
  37         return; ?>
  38 <br>
  39 <div class="row">
  40   <div class="col-sm-3">
  41     <div class="card">
  42       <div class="card-body">
  43         <h5 class="card-title">Basic Information</h5>
  44         <p class="card-text"><?php generate_html_serverinfo($srv); ?></p>
  45       </div>
  46     </div>
  47   </div>
  48   <div class="col-sm-4">
  49     <div class="card">
  50       <div class="card-body">
  51         <h5 class="card-title">Server Settings</h5>
  52         <p class="card-text"><?php generate_html_usersettings($srv); ?></p>
  53       </div>
  54     </div>
  55   </div>
  56 </div>