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 /compile_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 <sander.vrijders@ugent.be>
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions