From: Julius Bünger <buenger@mytum.de>
Date: Thu, 5 Jul 2018 20:06:11 +0000 (+0200)
Subject: rps profiler: different delay for hard shutdown
X-Git-Tag: v0.11.0~322^2~83
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=dbdb128c604560e22b56b9ba139f0b8ff28efcb3;p=oweals%2Fgnunet.git

rps profiler: different delay for hard shutdown
---

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);