From dbdb128c604560e22b56b9ba139f0b8ff28efcb3 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Julius=20B=C3=BCnger?= Date: Thu, 5 Jul 2018 22:06:11 +0200 Subject: [PATCH] rps profiler: different delay for hard shutdown --- src/rps/gnunet-rps-profiler.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/rps/gnunet-rps-profiler.c b/src/rps/gnunet-rps-profiler.c index 0427608f1..09797eaf7 100644 --- a/src/rps/gnunet-rps-profiler.c +++ b/src/rps/gnunet-rps-profiler.c @@ -2571,7 +2571,8 @@ 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.2 + (0.01 * num_peers)); + timeout = GNUNET_TIME_relative_multiply (timeout, 0.2 + (0.01 * num_peers)); + GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "timeout for hard shutdown is %u\n", timeout.rel_value_us/1000000); shutdown_task = GNUNET_SCHEDULER_add_shutdown (shutdown_op, NULL); shutdown_task = GNUNET_SCHEDULER_add_delayed (timeout, &shutdown_op, NULL); -- 2.25.1