diff options
author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-11-29 20:25:32 +0100 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-11-30 09:27:14 +0100 |
commit | 555e0a91ee711599b909857a9aae3ac83310b3fa (patch) | |
tree | 50068eb7b1e587ed224034dd1188a5bf099756f6 /src/tools/irm/irm_bind_api.c | |
parent | 5f5edf2ddb94bbf7571d511eb6bdbe8d3798408b (diff) | |
download | ouroboros-555e0a91ee711599b909857a9aae3ac83310b3fa.tar.gz ouroboros-555e0a91ee711599b909857a9aae3ac83310b3fa.zip |
tools: Fix server name argument in oping
The --server-name option was mistyped with an underscore in the
argument parser.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'src/tools/irm/irm_bind_api.c')
0 files changed, 0 insertions, 0 deletions