diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-12-05 18:35:21 +0100 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-12-06 11:03:29 +0100 |
| commit | c17641d483279151748dc7cec8e9e44b0da11623 (patch) | |
| tree | 6c00500dd93460dae01eea5fb3f5bc17e018c57e /install_release.sh | |
| parent | 1525d7b86f317ebbf19ba69b597d6ff73c71fe5e (diff) | |
| download | ouroboros-c17641d483279151748dc7cec8e9e44b0da11623.tar.gz ouroboros-c17641d483279151748dc7cec8e9e44b0da11623.zip | |
tools: Fix issues in irm bind/unbind
Fixes a segmentation fault in irm unbind api when no pid is specified
and improves the help information for bind/unbind.
Diffstat (limited to 'install_release.sh')
0 files changed, 0 insertions, 0 deletions