<?
require("redis.php");
require("json.php");

$term = $_GET['term'];

$r = new Redis("127.0.0.1","6379");
$r->connect();
$items = $r->zrangebylex("kernel","[$term","[$term\xff",Array("LIMIT","0","10"));

$t = Array();
$id = 0;
foreach($items as $item) {
    $t[] = Array("id" => $id++, "label" => $item);
}

$json = new Services_JSON();
$output = $json->encode($t);
echo($output);

?>