diff options
author | Christian Grothoff <christian@grothoff.org> | 2012-10-09 18:38:01 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2012-10-09 18:38:01 +0000 |
commit | b581097addc91044432dcb54ce7cff26b9e12de1 (patch) | |
tree | dafeebf08b90707d2cbfb6f5ab75c361ba298d6e /src/dv | |
parent | 81dcb0a35beb7c862ac6f2677933b978aab67038 (diff) | |
download | gnunet-b581097addc91044432dcb54ce7cff26b9e12de1.tar.gz gnunet-b581097addc91044432dcb54ce7cff26b9e12de1.zip |
-getting rid of silly, stupid, useless, often wrong DEFAULTCONFIG setting
Diffstat (limited to 'src/dv')
-rw-r--r-- | src/dv/dv.conf.in | 1 | ||||
-rw-r--r-- | src/dv/test_transport_dv_data.conf | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/src/dv/dv.conf.in b/src/dv/dv.conf.in index 93278df7c..158bbcdd6 100644 --- a/src/dv/dv.conf.in +++ b/src/dv/dv.conf.in | |||
@@ -4,7 +4,6 @@ DEBUG = NO | |||
4 | ACCEPT_FROM6 = ::1; | 4 | ACCEPT_FROM6 = ::1; |
5 | ACCEPT_FROM = 127.0.0.1; | 5 | ACCEPT_FROM = 127.0.0.1; |
6 | BINARY = gnunet-service-dv | 6 | BINARY = gnunet-service-dv |
7 | CONFIG = $DEFAULTCONFIG | ||
8 | HOME = $SERVICEHOME | 7 | HOME = $SERVICEHOME |
9 | HOSTNAME = localhost | 8 | HOSTNAME = localhost |
10 | @UNIXONLY@ PORT = 2571 | 9 | @UNIXONLY@ PORT = 2571 |
diff --git a/src/dv/test_transport_dv_data.conf b/src/dv/test_transport_dv_data.conf index 1078c369f..3daa6a7f4 100644 --- a/src/dv/test_transport_dv_data.conf +++ b/src/dv/test_transport_dv_data.conf | |||
@@ -1,6 +1,5 @@ | |||
1 | [PATHS] | 1 | [PATHS] |
2 | SERVICEHOME = /tmp/test-gnunet-dv-testing/ | 2 | SERVICEHOME = /tmp/test-gnunet-dv-testing/ |
3 | DEFAULTCONFIG = test_transport_dv_data.conf | ||
4 | 3 | ||
5 | [resolver] | 4 | [resolver] |
6 | PORT = 2564 | 5 | PORT = 2564 |
@@ -39,7 +38,6 @@ DEBUG = NO | |||
39 | ACCEPT_FROM6 = ::1; | 38 | ACCEPT_FROM6 = ::1; |
40 | ACCEPT_FROM = 127.0.0.1; | 39 | ACCEPT_FROM = 127.0.0.1; |
41 | BINARY = gnunet-service-dv | 40 | BINARY = gnunet-service-dv |
42 | CONFIG = $DEFAULTCONFIG | ||
43 | HOME = $SERVICEHOME | 41 | HOME = $SERVICEHOME |
44 | HOSTNAME = localhost | 42 | HOSTNAME = localhost |
45 | PORT = 2571 | 43 | PORT = 2571 |