Merge pull request #274 from gyorilab/add-node-counter

Add total node count to DKG homepage

mira/dkg/templates/home.html

@@ -29,6 +29,10 @@ <h4>Grounding</h4>
  </p>
  <h3>Summary</h3>
  <div>
+ <p>
+ The DKG has {{ "{:,}".format(node_total) }} nodes.
+ This is broken down by the following namespaces/metaclasses:
+ </p>
  {% for item, count in node_counter.most_common() %}
  <span class="badge bg-primary" style="margin-top: 2px;">
  {{ item }}: {{ "{:,}".format(count) }}

mira/dkg/ui.py

@@ -12,10 +12,13 @@
 @ui_blueprint.route("/", methods=["GET"])
 def home():
  """Render the home page."""
+ node_counter = client.get_node_counter()
+ node_total = sum(node_counter.values())
  return render_template(
  "home.html",
  number_terms=len(grounder.entries),
- node_counter=client.get_node_counter(),
+ node_counter=node_counter,
+ node_total=node_total,
  )