{% extends "master.html" %} {% block title %} - Overview{% endblock %} {% block body %}

Statistics

r³ info

job-types {{ g.job_types|count }}
redis server {{ g.config['REDIS_HOST'] }}:{{ g.config['REDIS_PORT'] }}
failed jobs {{ failed }}
processed {{ processed }}
mappers {{ g.mappers|count }}

keys owned by r³

(All keys are actually prefixed with "r3:")

{% for key in keys %} {% else %} {% endfor %}
key name type size
{{ key['name'] }} {{ key['type'] }} {{ key['size'] }} delete
No keys owned by r³

redis.r3.globoi.com:20001

{% for key, value in info.items() %} {% endfor %}
{{ key }} {{ value }}
{% endblock %}