diff options
| author | Julius Bünger <buenger@mytum.de> | 2018-07-03 21:10:38 +0200 |
|---|---|---|
| committer | Julius Bünger <buenger@mytum.de> | 2018-07-03 21:10:38 +0200 |
| commit | 37d12e4bcfc456ae488cce7d93853339812035fe (patch) | |
| tree | 186cf06bf60823588e64b3b709c6857a45f98242 /src/rps/gnunet-rps-profiler.c | |
| parent | 7940449e54a2716d69aed0fd01953ef6204b0229 (diff) | |
| download | gnunet-37d12e4bcfc456ae488cce7d93853339812035fe.tar.gz gnunet-37d12e4bcfc456ae488cce7d93853339812035fe.zip | |
rps profiler: different time for hard shutdown
Diffstat (limited to 'src/rps/gnunet-rps-profiler.c')
| -rw-r--r-- | src/rps/gnunet-rps-profiler.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rps/gnunet-rps-profiler.c b/src/rps/gnunet-rps-profiler.c index f75f9794f..ec73f1803 100644 --- a/src/rps/gnunet-rps-profiler.c +++ b/src/rps/gnunet-rps-profiler.c | |||
| @@ -2572,7 +2572,7 @@ test_run (void *cls, | |||
| 2572 | if (NULL != churn_task) | 2572 | if (NULL != churn_task) |
| 2573 | GNUNET_SCHEDULER_cancel (churn_task); | 2573 | GNUNET_SCHEDULER_cancel (churn_task); |
| 2574 | post_test_task = GNUNET_SCHEDULER_add_delayed (timeout, &post_test_op, NULL); | 2574 | post_test_task = GNUNET_SCHEDULER_add_delayed (timeout, &post_test_op, NULL); |
| 2575 | timeout = GNUNET_TIME_relative_multiply (timeout, 1 + (0.1 * num_peers)); | 2575 | timeout = GNUNET_TIME_relative_multiply (timeout, 1.2 + (0.01 * num_peers)); |
| 2576 | shutdown_task = GNUNET_SCHEDULER_add_shutdown (shutdown_op, NULL); | 2576 | shutdown_task = GNUNET_SCHEDULER_add_shutdown (shutdown_op, NULL); |
| 2577 | shutdown_task = GNUNET_SCHEDULER_add_delayed (timeout, &shutdown_op, NULL); | 2577 | shutdown_task = GNUNET_SCHEDULER_add_delayed (timeout, &shutdown_op, NULL); |
| 2578 | 2578 | ||