diff options
author | Sander Vrijders <[email protected]> | 2017-11-15 13:05:30 +0100 |
---|---|---|
committer | Dimitri Staessens <[email protected]> | 2017-11-15 13:14:41 +0100 |
commit | ed08e360f59885c6ddb72254cd58c5945fc86cec (patch) | |
tree | 2beceaa22510cd4c6f5568ca113a77ea2928d7b1 /install_debug.sh | |
parent | c4102940e59584bb5cc45bdce2fa360dc543fe2f (diff) | |
download | ouroboros-ed08e360f59885c6ddb72254cd58c5945fc86cec.tar.gz ouroboros-ed08e360f59885c6ddb72254cd58c5945fc86cec.zip |
tools: Check process id when binding a process
This adds a check that the passed process id is in fact a number and
not gibberish.
Signed-off-by: Sander Vrijders <[email protected]>
Signed-off-by: Dimitri Staessens <[email protected]>
Diffstat (limited to 'install_debug.sh')
0 files changed, 0 insertions, 0 deletions