From be19f843e86a0fa4e1361f2263f3898d602e285a Mon Sep 17 00:00:00 2001
From: Gerard Wagener <gerard.wagener@circl.lu>
Date: Mon, 11 Feb 2019 16:31:52 +0100
Subject: [PATCH] chg: [pibs] dump table when redis list is processed

---
 bin/pibs.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/pibs.c b/bin/pibs.c
index 5e146ab..a4406b0 100644
--- a/bin/pibs.c
+++ b/bin/pibs.c
@@ -514,6 +514,7 @@ int main(int argc, char* argv[])
     }
     if (pibs->should_dump_table){
         pibs_dump_raw(pibs);
+        pibs_dump_raw(pibs);
     }
     if (pibs->show_stats){
         pibs_dump_stats(pibs);