gnunet

commit 795ba5243bfcb595cd3b3066ae22f59c686c48bb
parent 72068a707bede6121cfa535ddcdfe74052259c0c
Author: Christian Grothoff <christian@grothoff.org>
Date:   Sun, 22 Nov 2020 21:17:32 +0100

Merge branch 'master' of git+ssh://gnunet.org/gnunet

Diffstat:
M
src/rps/gnunet-rps-profiler.c
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/rps/gnunet-rps-profiler.c b/src/rps/gnunet-rps-profiler.c
@@ -2375,6 +2375,7 @@ compute_probabilities (uint32_t peer_idx)
 
   to_file_w_len (rps_peers[peer_idx].file_name_probs,
                  probs_as_str_size,
+                 "%s",
                  probs_as_str);
 
   probs_as_str[0] = '\0';
@@ -2390,6 +2391,7 @@ compute_probabilities (uint32_t peer_idx)
 
   to_file_w_len (rps_peers[peer_idx].file_name_probs_hist,
                  probs_as_str_size,
+                 "%s",
                  probs_as_str);
   GNUNET_free (probs_as_str);
 }