-rps api: resend requests after reconnect
authorJulius Bünger <buenger@mytum.de>
Tue, 4 Oct 2016 19:44:37 +0000 (19:44 +0000)
committerJulius Bünger <buenger@mytum.de>
Tue, 4 Oct 2016 19:44:37 +0000 (19:44 +0000)
commitc406330a6fb8a11e37ceb9d7bbe45dc2e0e9aa13
tree7aabed8a6319e35b93df9a71e1a37e790469f08a
parentf251b09db8434fd448c3f7dbf359a21a7f92b0e8
-rps api: resend requests after reconnect
src/rps/rps_api.c