diff options
| author | neal <neal> | 2008-02-18 18:33:05 +0000 |
|---|---|---|
| committer | neal <neal> | 2008-02-18 18:33:05 +0000 |
| commit | f8e526469303a689213fb3a793902b862cf0488b (patch) | |
| tree | d34dab178a1faaeee4b71e7573131fd514279446 | |
| parent | 198307aad9d5933d0b85fb1b97afde6d5c12bdb8 (diff) | |
2008-02-18 Neal H. Walfield <neal@gnu.org>
* server.c (server_loop): When raising a fault, set INFO.DISCARDED
to DISCARDED, not true.
| -rw-r--r-- | viengoos/ChangeLog | 5 | ||||
| -rw-r--r-- | viengoos/server.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/viengoos/ChangeLog b/viengoos/ChangeLog index 08276f7..142c129 100644 --- a/viengoos/ChangeLog +++ b/viengoos/ChangeLog @@ -1,5 +1,10 @@ 2008-02-18 Neal H. Walfield <neal@gnu.org> + * server.c (server_loop): When raising a fault, set INFO.DISCARDED + to DISCARDED, not true. + +2008-02-18 Neal H. Walfield <neal@gnu.org> + * ager.c (ager_loop): Improve debugging output. 2008-02-18 Neal H. Walfield <neal@gnu.org> diff --git a/viengoos/server.c b/viengoos/server.c index dbcf3e7..80ca403 100644 --- a/viengoos/server.c +++ b/viengoos/server.c @@ -219,7 +219,7 @@ server_loop (void) struct exception_info info; info.access = access; info.type = type; - info.discarded = true; + info.discarded = discarded; l4_msg_t msg; exception_fault_send_marshal (&msg, PTR_TO_ADDR (fault), |