diff options
author | Timo Dritschler <timo.dritschler@kit.edu> | 2014-07-25 11:32:55 +0200 |
---|---|---|
committer | Timo Dritschler <timo.dritschler@kit.edu> | 2014-07-25 11:40:36 +0200 |
commit | dead85f8d5aa2445b1de723979b78d973a522310 (patch) | |
tree | f8bb612af06b36b79e2409e963cac5b218d1bd9c /src/kiro-rdma.h | |
parent | 0bc62ec853049abc4abc724bbde142e8e56b2931 (diff) | |
download | kiro-dead85f8d5aa2445b1de723979b78d973a522310.tar.gz kiro-dead85f8d5aa2445b1de723979b78d973a522310.tar.bz2 kiro-dead85f8d5aa2445b1de723979b78d973a522310.tar.xz kiro-dead85f8d5aa2445b1de723979b78d973a522310.zip |
Added 'kiro_server_stop' method to KIRO Server
Added missing cleanup to kiro_server_finalize
Added missing cleanup to test-server
Diffstat (limited to 'src/kiro-rdma.h')
0 files changed, 0 insertions, 0 deletions