diff options
| author | Julius Bünger <buenger@mytum.de> | 2018-07-05 22:06:11 +0200 |
|---|---|---|
| committer | Julius Bünger <buenger@mytum.de> | 2018-07-05 22:06:11 +0200 |
| commit | dbdb128c604560e22b56b9ba139f0b8ff28efcb3 (patch) | |
| tree | dd7fb26430ba9889dbe147eeb08ef5aef2a10f81 /src/rps/gnunet-rps-profiler.c | |
| parent | 411abad7976fb483fb29bddd8982cbe746502b95 (diff) | |
| download | gnunet-dbdb128c604560e22b56b9ba139f0b8ff28efcb3.tar.gz gnunet-dbdb128c604560e22b56b9ba139f0b8ff28efcb3.zip | |
rps profiler: different delay for hard shutdown
Diffstat (limited to 'src/rps/gnunet-rps-profiler.c')
| -rw-r--r-- | src/rps/gnunet-rps-profiler.c | 3 |
1 files changed, 2 insertions, 1 deletions
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, | |||
| 2571 | if (NULL != churn_task) | 2571 | if (NULL != churn_task) |
| 2572 | GNUNET_SCHEDULER_cancel (churn_task); | 2572 | GNUNET_SCHEDULER_cancel (churn_task); |
| 2573 | post_test_task = GNUNET_SCHEDULER_add_delayed (timeout, &post_test_op, NULL); | 2573 | post_test_task = GNUNET_SCHEDULER_add_delayed (timeout, &post_test_op, NULL); |
| 2574 | timeout = GNUNET_TIME_relative_multiply (timeout, 1.2 + (0.01 * num_peers)); | 2574 | timeout = GNUNET_TIME_relative_multiply (timeout, 0.2 + (0.01 * num_peers)); |
| 2575 | GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "timeout for hard shutdown is %u\n", timeout.rel_value_us/1000000); | ||
| 2575 | shutdown_task = GNUNET_SCHEDULER_add_shutdown (shutdown_op, NULL); | 2576 | shutdown_task = GNUNET_SCHEDULER_add_shutdown (shutdown_op, NULL); |
| 2576 | shutdown_task = GNUNET_SCHEDULER_add_delayed (timeout, &shutdown_op, NULL); | 2577 | shutdown_task = GNUNET_SCHEDULER_add_delayed (timeout, &shutdown_op, NULL); |
| 2577 | 2578 | ||