diff options
| author | Julius Bünger <buenger@mytum.de> | 2018-08-10 12:44:51 +0200 |
|---|---|---|
| committer | Julius Bünger <buenger@mytum.de> | 2018-08-13 14:33:04 +0200 |
| commit | 8275d52ec81b53f46b799facc8c051829ded6eed (patch) | |
| tree | e9fe0c8871a5938cb56fe8ce2f2ff2d9f3c7f735 /src/rps/test_rps.conf | |
| parent | 341c1dd692c62a88eeff34fca155ce2377677d4b (diff) | |
| download | gnunet-8275d52ec81b53f46b799facc8c051829ded6eed.tar.gz gnunet-8275d52ec81b53f46b799facc8c051829ded6eed.zip | |
Use synchronised logic for closing channels (rps service)
Diffstat (limited to 'src/rps/test_rps.conf')
| -rw-r--r-- | src/rps/test_rps.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rps/test_rps.conf b/src/rps/test_rps.conf index 05bb9f444..02fbf76a4 100644 --- a/src/rps/test_rps.conf +++ b/src/rps/test_rps.conf | |||
| @@ -1,5 +1,6 @@ | |||
| 1 | [rps] | 1 | [rps] |
| 2 | #PREFIX = valgrind --leak-check=full --show-leak-kinds=all --log-file=/tmp/rps/valgrind!gnunet-service-rps!%p | 2 | #PREFIX = valgrind --leak-check=full --show-leak-kinds=all --log-file=/tmp/rps/valgrind!gnunet-service-rps!%p |
| 3 | #PREFIX = valgrind --log-file=/tmp/rps/valgrind!gnunet-service-rps!%p | ||
| 3 | #BINARY = gnunet-service-rps | 4 | #BINARY = gnunet-service-rps |
| 4 | UNIXPATH = $GNUNET_TMP/gnunet-service-rps.sock | 5 | UNIXPATH = $GNUNET_TMP/gnunet-service-rps.sock |
| 5 | HOME = $SERVICEHOME | 6 | HOME = $SERVICEHOME |