diff options
author | Bart Polot <bart@net.in.tum.de> | 2013-09-26 16:34:56 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2013-09-26 16:34:56 +0000 |
commit | 64b8f47b841faa300a02713e992b0791818dbf43 (patch) | |
tree | a6550250da39353c4bf55df78a9226c9224c3f3f /src | |
parent | 3b34a932a81d1acb7ff045278d6511095acd8c62 (diff) | |
download | gnunet-64b8f47b841faa300a02713e992b0791818dbf43.tar.gz gnunet-64b8f47b841faa300a02713e992b0791818dbf43.zip |
- setup time feedback
Diffstat (limited to 'src')
-rw-r--r-- | src/regex/gnunet-regex-profiler.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/regex/gnunet-regex-profiler.c b/src/regex/gnunet-regex-profiler.c index d690ce1bf..f857f8f00 100644 --- a/src/regex/gnunet-regex-profiler.c +++ b/src/regex/gnunet-regex-profiler.c | |||
@@ -1419,6 +1419,8 @@ run (void *cls, char *const *args, const char *cfgfile, | |||
1419 | "SETUP_TIMEOUT", | 1419 | "SETUP_TIMEOUT", |
1420 | &abort_time)) | 1420 | &abort_time)) |
1421 | { | 1421 | { |
1422 | GNUNET_log (GNUNET_ERROR_TYPE_WARNING, | ||
1423 | "SETUP_TIMEOUT not given. Using 15 minutes.\n"); | ||
1422 | abort_time = | 1424 | abort_time = |
1423 | GNUNET_TIME_relative_multiply (GNUNET_TIME_UNIT_MINUTES, 15); | 1425 | GNUNET_TIME_relative_multiply (GNUNET_TIME_UNIT_MINUTES, 15); |
1424 | } | 1426 | } |
@@ -1427,6 +1429,9 @@ run (void *cls, char *const *args, const char *cfgfile, | |||
1427 | GNUNET_SCHEDULER_add_delayed (abort_time, | 1429 | GNUNET_SCHEDULER_add_delayed (abort_time, |
1428 | &do_abort, | 1430 | &do_abort, |
1429 | (void*) __LINE__); | 1431 | (void*) __LINE__); |
1432 | GNUNET_log (GNUNET_ERROR_TYPE_WARNING, | ||
1433 | "setup_timeout: %s\n", | ||
1434 | GNUNET_STRINGS_relative_time_to_string (abort_time, GNUNET_YES)); | ||
1430 | } | 1435 | } |
1431 | 1436 | ||
1432 | 1437 | ||