diff options
Diffstat (limited to 'src/regex/gnunet-regex-profiler.c')
-rw-r--r-- | src/regex/gnunet-regex-profiler.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/regex/gnunet-regex-profiler.c b/src/regex/gnunet-regex-profiler.c index 954915aad..c56e1567e 100644 --- a/src/regex/gnunet-regex-profiler.c +++ b/src/regex/gnunet-regex-profiler.c | |||
@@ -1394,7 +1394,7 @@ run (void *cls, char *const *args, const char *cfgfile, | |||
1394 | NULL); /* test_master cls */ | 1394 | NULL); /* test_master cls */ |
1395 | if (GNUNET_OK != | 1395 | if (GNUNET_OK != |
1396 | GNUNET_CONFIGURATION_get_value_time (cfg, "TESTBED", | 1396 | GNUNET_CONFIGURATION_get_value_time (cfg, "TESTBED", |
1397 | "SETUP_TIME", | 1397 | "SETUP_TIMEOUT", |
1398 | &abort_time)) | 1398 | &abort_time)) |
1399 | { | 1399 | { |
1400 | abort_time = | 1400 | abort_time = |