diff options
| author | Christian Grothoff <christian@grothoff.org> | 2013-04-18 13:33:44 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2013-04-18 13:33:44 +0000 |
| commit | 9ecc5b9b9d02f757386dddb4909e264c5a6226a5 (patch) | |
| tree | 2a0ce53e204ad47f20281d04441822f85310c160 /src/util | |
| parent | 7c90c013e9a5534a06f156f6e564d368a84f93c1 (diff) | |
| download | gnunet-9ecc5b9b9d02f757386dddb4909e264c5a6226a5.tar.gz gnunet-9ecc5b9b9d02f757386dddb4909e264c5a6226a5.zip | |
-dead option elimination
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/util.conf | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/util/util.conf b/src/util/util.conf index ea8ddc071..d97bc17cd 100644 --- a/src/util/util.conf +++ b/src/util/util.conf | |||
| @@ -6,9 +6,6 @@ SERVICEHOME = ~/.gnunet/ | |||
| 6 | # configuration file is assumed to be the default, | 6 | # configuration file is assumed to be the default, |
| 7 | # which is what we want by default... | 7 | # which is what we want by default... |
| 8 | 8 | ||
| 9 | [gnunetd] | ||
| 10 | HOSTKEY = $SERVICEHOME/.hostkey | ||
| 11 | |||
| 12 | [PEER] | 9 | [PEER] |
| 13 | PRIVATE_KEY = $SERVICEHOME/private.ecc | 10 | PRIVATE_KEY = $SERVICEHOME/private.ecc |
| 14 | 11 | ||
| @@ -16,6 +13,5 @@ PRIVATE_KEY = $SERVICEHOME/private.ecc | |||
| 16 | HOME = $SERVICEHOME | 13 | HOME = $SERVICEHOME |
| 17 | 14 | ||
| 18 | [TESTING] | 15 | [TESTING] |
| 19 | WEAKRANDOM = NO | ||
| 20 | SPEEDUP_INTERVAL = 0 ms | 16 | SPEEDUP_INTERVAL = 0 ms |
| 21 | SPEEDUP_DELTA = 0 ms | 17 | SPEEDUP_DELTA = 0 ms |