Skip to content

Instantly share code, notes, and snippets.

@blongden

blongden/redis-stats.php

Created March 16, 2012 16:22
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save blongden/2050845 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save blongden/2050845 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. Ben Longden revised this gist Mar 17, 2012. 1 changed file with 5 additions and 5 deletions.
    10 changes: 5 additions & 5 deletions redis-stats.php
    View file
    Original file line number Diff line number Diff line change
    @@ -59,12 +59,12 @@
    <div>Percentage hits</div>
    <div class='key'><?php echo round($data['keyspace_hits'] / ($data['keyspace_hits'] + $data['keyspace_misses']) * 100)."%";?></div>
    <div class='detail'>
    <span class='title'>Hits</span>
    <span><?php echo $data['keyspace_hits']; ?></span>
    <span class='title'>Hits</span>
    <span><?php echo $data['keyspace_hits']; ?></span>
    </div>
    <div class='detail'>
    <span class='title'>Misses</span>
    <span><?php echo $data['keyspace_misses']; ?></span>
    <span class='title'>Misses</span>
    <span><?php echo $data['keyspace_misses']; ?></span>
    </div>
    </div>

    @@ -92,4 +92,4 @@
    </div>
    </div>
    </body>
    </html>
    </html>
  2. Ben Longden created this gist Mar 16, 2012.
    95 changes: 95 additions & 0 deletions redis-stats.php
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,95 @@
    <?php
    $fp = fsockopen('127.0.0.1', 6379, $errno, $errstr, 30);

    $data = array();

    if (!$fp) {
    die($errstr);
    } else {
    fwrite($fp, "INFO\r\nQUIT\r\n");
    while (!feof($fp)) {
    $info = split(':', trim(fgets($fp)));
    if (isset($info[1])) $data[$info[0]] = $info[1];
    }
    fclose($fp);
    }
    ?>

    <html>
    <head>
    <title>Redis statistics</title>
    <style type="text/css">
    body {
    font-family: arial,sans-serif;
    color: #111;
    }

    div.box {
    background-color: #DFA462;
    width: 200px;
    height: 200px;
    text-align: center;
    margin: 6px;
    float: left;
    }

    div.key {
    font-weight: bold;
    font-size: 42px;
    }

    div.detail {
    text-align: left;
    }

    div.detail span {
    width: 90px;
    padding: 2px;
    display: inline-block;
    }

    div.detail span.title {
    text-align: right;
    }
    </style>
    </head>
    <body>

    <div class='box'>
    <div>Percentage hits</div>
    <div class='key'><?php echo round($data['keyspace_hits'] / ($data['keyspace_hits'] + $data['keyspace_misses']) * 100)."%";?></div>
    <div class='detail'>
    <span class='title'>Hits</span>
    <span><?php echo $data['keyspace_hits']; ?></span>
    </div>
    <div class='detail'>
    <span class='title'>Misses</span>
    <span><?php echo $data['keyspace_misses']; ?></span>
    </div>
    </div>

    <div class='box'>
    <div>Memory usage</div>
    <div class='key'><?php echo $data['used_memory_human'];?></div>
    </div>

    <div class='box'>
    <div>Peak memory usage</div>
    <div class='key'><?php echo $data['used_memory_peak_human'];?></div>
    </div>

    <div class='box'>
    <div>Keys in store</div>
    <div class='key'>
    <?php
    $values = split(',', $data['db0']);
    foreach($values as $value) {
    $kv = split('=', $value);
    $keyData[$kv[0]] = $kv[1];
    }
    echo $keyData['keys'];
    ?>
    </div>
    </div>
    </body>
    </html>