diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-10-07 20:31:35 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-10-07 20:31:35 +0000 |
| commit | af432574e5009cc4748e512f6b78b43f40fdc19c (patch) | |
| tree | cadf77af749994118ccc6a4ad7eec6af63b35190 /src/arm/arm.conf.in | |
| parent | ca2a0be297732b8cd8b2f6635bc6be6d6a717860 (diff) | |
| download | gnunet-af432574e5009cc4748e512f6b78b43f40fdc19c.tar.gz gnunet-af432574e5009cc4748e512f6b78b43f40fdc19c.zip | |
add capability to log per-service resource consumption via ARM
Diffstat (limited to 'src/arm/arm.conf.in')
| -rw-r--r-- | src/arm/arm.conf.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/arm/arm.conf.in b/src/arm/arm.conf.in index 20d3e1dc0..38cf4599c 100644 --- a/src/arm/arm.conf.in +++ b/src/arm/arm.conf.in | |||
| @@ -41,6 +41,8 @@ GLOBAL_PREFIX = @MONKEYPREFIX@ | |||
| 41 | # | 41 | # |
| 42 | # USER_ONLY = YES | 42 | # USER_ONLY = YES |
| 43 | 43 | ||
| 44 | # File where we should log per-service resource consumption on exit. | ||
| 45 | # RESOURCE_DIAGNOSTICS = resource.log | ||
| 44 | 46 | ||
| 45 | 47 | ||
| 46 | # Name of the user that will be used to provide the service | 48 | # Name of the user that will be used to provide the service |