From 2e4d1eef26173dce475da2319201d43017d7d1c1 Mon Sep 17 00:00:00 2001
From: Gerard Wagener <gerard.wagener@circl.lu>
Date: Mon, 15 Jul 2019 22:39:18 +0200
Subject: [PATCH] chg: [pibs] force null byte for filename

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

diff --git a/bin/pibs-BGP-Ranking.c b/bin/pibs-BGP-Ranking.c
index dab817c..37e7e8c 100644
--- a/bin/pibs-BGP-Ranking.c
+++ b/bin/pibs-BGP-Ranking.c
@@ -75,6 +75,7 @@ int main(int argc, char* argv[])
                 break;
             case 'r':
                 strncpy(pibs->filename, optarg, FILENAME_MAX);
+                pibs->filename[FILENAME_MAX-1] = '\0';
                 break;
         }
     }