diff options
author | Christian Grothoff <christian@grothoff.org> | 2013-10-11 16:09:56 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2013-10-11 16:09:56 +0000 |
commit | 996871b39362b2ce34980d99e7fedfb05075f041 (patch) | |
tree | 216af472c01d9a7ba36687ba4957c67f4e281be6 /src/arm/arm.conf.in | |
parent | 79fa5ae2d73c1da264e9565ba46868ee08dffacd (diff) | |
download | gnunet-996871b39362b2ce34980d99e7fedfb05075f041.tar.gz gnunet-996871b39362b2ce34980d99e7fedfb05075f041.zip |
implementing #3064: enable split-personality ARM to run some services as 'gnunet' and others as grothoff, depending on level of personal information available to the service
Diffstat (limited to 'src/arm/arm.conf.in')
-rw-r--r-- | src/arm/arm.conf.in | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/arm/arm.conf.in b/src/arm/arm.conf.in index 6bffca796..830b51dc1 100644 --- a/src/arm/arm.conf.in +++ b/src/arm/arm.conf.in | |||
@@ -17,6 +17,27 @@ UNIX_MATCH_GID = YES | |||
17 | # log files are preserved. | 17 | # log files are preserved. |
18 | # GLOBAL_POSTFIX = -l $GNUNET_CACHE_HOME/{}-%Y-%m-%d.log | 18 | # GLOBAL_POSTFIX = -l $GNUNET_CACHE_HOME/{}-%Y-%m-%d.log |
19 | GLOBAL_PREFIX = @MONKEYPREFIX@ | 19 | GLOBAL_PREFIX = @MONKEYPREFIX@ |
20 | |||
21 | # If set to YES, ARM will only start services that are marked as | ||
22 | # system-level services (and we'll expect a second ARM to be | ||
23 | # run per-user to run user-level services). Note that in this | ||
24 | # case you must have manually created a different configuration | ||
25 | # file with the user where at least this and the USER_ONLY | ||
26 | # options differ. | ||
27 | # SYSTEM_ONLY = YES | ||
28 | |||
29 | # If set to YES, ARM will only start services that are marked as | ||
30 | # per-user services (and we'll expect a system user to run ARM to | ||
31 | # provide system-level services). Per-user services enable | ||
32 | # better personalization and priviledge separation and in particular | ||
33 | # ensures that personal data is stored under $HOME, which might | ||
34 | # be important in a multi-user system (or if $HOME is encrypted | ||
35 | # and /var/ is not). | ||
36 | # USER_ONLY = YES | ||
37 | |||
38 | |||
39 | |||
40 | # Name of the user that will be used to provide the service | ||
20 | # USERNAME = | 41 | # USERNAME = |
21 | # MAXBUF = | 42 | # MAXBUF = |
22 | # TIMEOUT = | 43 | # TIMEOUT = |