diff options
author | Thomas Bushnell <thomas@gnu.org> | 1999-03-15 20:05:35 +0000 |
---|---|---|
committer | Thomas Bushnell <thomas@gnu.org> | 1999-03-15 20:05:35 +0000 |
commit | d4e55aef9516d2426ade8d35421f12c2eb5ed793 (patch) | |
tree | e3bb152145ce2836984ef02b8c214beabc92ab62 /libps | |
parent | 98fba1729e7c80fa3b0c7b65d07495631ba213d1 (diff) |
Mon Mar 15 14:36:33 1999 Thomas Bushnell, BSG <tb@mit.edu>
* migsupport.c (trivfs_begin_using_protid): In first branch,
protect work against PI being null, and call ports_port_deref with
the proper value.
(trivfs_begin_using_control): Likewise.
Reported by Mark Kettenis (kettenis@wins.uva.nl).
Diffstat (limited to 'libps')
0 files changed, 0 insertions, 0 deletions