diff options
author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-11-15 13:05:30 +0100 |
---|---|---|
committer | Dimitri Staessens <dimitri.staessens@ugent.be> | 2017-11-15 13:14:41 +0100 |
commit | ed08e360f59885c6ddb72254cd58c5945fc86cec (patch) | |
tree | 2beceaa22510cd4c6f5568ca113a77ea2928d7b1 /doc/man/fset_del.3 | |
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 <sander.vrijders@ugent.be>
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'doc/man/fset_del.3')
0 files changed, 0 insertions, 0 deletions