]> git.tuebingen.mpg.de Git - dss.git/commitdiff
ipc: Make pid pointer optional.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 16 Jun 2016 21:06:29 +0000 (23:06 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 21 Aug 2016 19:13:25 +0000 (21:13 +0200)
This changes get_dss_pid() to handle the case where the caller passed
a NULL pid pointer. Conversely, if pid is not NULL, we now make sure
to initialize the given address in all cases.

The single caller currently never passes NULL, so this change is just
defensive programming, protecting against future users. Be liberal
in what you accept, be strict in what you return..


No differences found