Fix Null pointer dereference in the spawnd daemon.
authoryauhenk <yauhenk@student.ethz.ch>
Mon, 4 May 2015 13:00:36 +0000 (15:00 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Mon, 4 May 2015 13:00:36 +0000 (15:00 +0200)
commitecb15f6785d3e4a7a9ba220ef92a95f3506a1ed7
treed7e03fa5f0c3cd7466c0d0832661bbf52ec71710
parent765a3aaf2ccd18556406ff0debdf2f9916e979fc
Fix Null pointer dereference in the spawnd daemon.

External symptoms: crash during call of the spawn_wait_coreid() called with
the domain id of already closed domain.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
usr/spawnd/service.c