rps service/config: rename option in config, too
authorJulius Bünger <buenger@mytum.de>
Wed, 4 Apr 2018 06:06:13 +0000 (08:06 +0200)
committerJulius Bünger <buenger@mytum.de>
Wed, 4 Apr 2018 06:46:59 +0000 (08:46 +0200)
commit592845547042c5c1ce59889bfff3f246be924d21
treee6f38e1284ac77bf9652749313fcbe39b6b63051
parent0d0a91e78153b98f6f7df13731d90e2ee52d22ad
rps service/config: rename option in config, too
src/rps/test_rps.conf