diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-04-24 07:04:18 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-04-24 07:04:18 +0000 |
commit | fe384d97cdfcb47c10a05f56f983f24619115a19 (patch) | |
tree | f4503df3ea08b6e6f329acbbe760f38695e33919 /src/util | |
parent | 3b11f5a4e6e45230994686d292376fac4734c51e (diff) | |
download | gnunet-fe384d97cdfcb47c10a05f56f983f24619115a19.tar.gz gnunet-fe384d97cdfcb47c10a05f56f983f24619115a19.zip |
move ARM/config logic to util/ where it doesn't need to cast away a 'const' and is _slightly_ less likely to be forgotten, also add big fat comment to hopefully clarify why it is there
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/program.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/util/program.c b/src/util/program.c index 865d9c690..08858af37 100644 --- a/src/util/program.c +++ b/src/util/program.c | |||
@@ -279,6 +279,22 @@ GNUNET_PROGRAM_run2 (int argc, char *const *argv, const char *binaryName, | |||
279 | clock_offset = skew_offset - skew_variance; | 279 | clock_offset = skew_offset - skew_variance; |
280 | GNUNET_TIME_set_offset (clock_offset); | 280 | GNUNET_TIME_set_offset (clock_offset); |
281 | } | 281 | } |
282 | /* ARM needs to know which configuration file to use when starting | ||
283 | services. If we got a command-line option *and* if nothing is | ||
284 | specified in the configuration, remember the command-line option | ||
285 | in "cfg". This is typically really only having an effect if we | ||
286 | are running code in src/arm/, as obviously the rest of the code | ||
287 | has little business with ARM-specific options. */ | ||
288 | if (GNUNET_YES != | ||
289 | GNUNET_CONFIGURATION_have_value (cfg, | ||
290 | "arm", | ||
291 | "CONFIG")) | ||
292 | { | ||
293 | GNUNET_CONFIGURATION_set_value_string (cfg, | ||
294 | "arm", "CONFIG", | ||
295 | cc.cfgfile); | ||
296 | } | ||
297 | |||
282 | /* run */ | 298 | /* run */ |
283 | cc.args = &argv[ret]; | 299 | cc.args = &argv[ret]; |
284 | if (GNUNET_NO == run_without_scheduler) | 300 | if (GNUNET_NO == run_without_scheduler) |