From 37d12e4bcfc456ae488cce7d93853339812035fe Mon Sep 17 00:00:00 2001 From: Julius Bünger Date: Tue, 3 Jul 2018 21:10:38 +0200 Subject: rps profiler: different time for hard shutdown --- src/rps/gnunet-rps-profiler.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/rps/gnunet-rps-profiler.c') 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, if (NULL != churn_task) GNUNET_SCHEDULER_cancel (churn_task); post_test_task = GNUNET_SCHEDULER_add_delayed (timeout, &post_test_op, NULL); - timeout = GNUNET_TIME_relative_multiply (timeout, 1 + (0.1 * num_peers)); + timeout = GNUNET_TIME_relative_multiply (timeout, 1.2 + (0.01 * num_peers)); shutdown_task = GNUNET_SCHEDULER_add_shutdown (shutdown_op, NULL); shutdown_task = GNUNET_SCHEDULER_add_delayed (timeout, &shutdown_op, NULL); -- cgit v1.2.3