$script_name = "index.php";
$server = isset($_GET["server"]) ? $_GET["server"] : 'default';
$db = isset($_GET["db"]) ? $_GET["db"] : 0;
$action = isset($_GET["action"]) ? $_GET['action'] : 'list';
$pattern = isset($_GET['pattern']) ? $_GET['pattern'] : '';
$Redis = new Redis();
$Redis->connect($config[$server]['host'], $config[$server]['port'], 5);
try {
$Redis->ping();
} catch (Exception $e) {
die("Couldn't connect to server [tcp://{$config[$server]['host']}:{$config[$server]['port']}]. " . $e->getMessage());
}
$Redis->select($db);
if (isset($_GET['key'])) {
$Json = new Json($server, $db);
$html = $Json->renderKey($Redis);
exit(json_encode(array('html' => $html)));
}
$Html = new Html($server, $db);
$Html->setScriptName($script_name);
$Html->setAction($action);
$Html->setPattern($pattern);
$Html->setServerList($config);
class Json
{
public function __construct($server, $db)
{
$this->server = $server;
$this->db = $db;
}
public function renderKey($Redis)
