diff options
author | Florian Dold <florian.dold@gmail.com> | 2016-03-09 16:17:28 +0000 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2016-03-09 16:17:28 +0000 |
commit | 99cfe33894a311ef45d5552248625615324ec628 (patch) | |
tree | 45166f7bcb50058144a745858c73e5260d716608 /src/consensus/gnunet-consensus-profiler.c | |
parent | 1d2cec96289a1bd1600aa39dbc8ab422298e0973 (diff) | |
download | gnunet-99cfe33894a311ef45d5552248625615324ec628.tar.gz gnunet-99cfe33894a311ef45d5552248625615324ec628.zip |
Implement early stopping.
Diffstat (limited to 'src/consensus/gnunet-consensus-profiler.c')
-rw-r--r-- | src/consensus/gnunet-consensus-profiler.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/consensus/gnunet-consensus-profiler.c b/src/consensus/gnunet-consensus-profiler.c index 345e2244c..355ae60a3 100644 --- a/src/consensus/gnunet-consensus-profiler.c +++ b/src/consensus/gnunet-consensus-profiler.c | |||
@@ -57,8 +57,16 @@ static unsigned int peers_done = 0; | |||
57 | 57 | ||
58 | static unsigned *results_for_peer; | 58 | static unsigned *results_for_peer; |
59 | 59 | ||
60 | /** | ||
61 | * The profiler will write statistics | ||
62 | * for all peers to the file with this name. | ||
63 | */ | ||
60 | static char *statistics_filename; | 64 | static char *statistics_filename; |
61 | 65 | ||
66 | /** | ||
67 | * The profiler will write statistics | ||
68 | * for all peers to this file. | ||
69 | */ | ||
62 | static FILE *statistics_file; | 70 | static FILE *statistics_file; |
63 | 71 | ||
64 | static int verbose; | 72 | static int verbose; |