diff options
author | Neal H. Walfield <neal@gnu.org> | 2009-02-24 03:35:10 +0100 |
---|---|---|
committer | Neal H. Walfield <neal@gnu.org> | 2009-03-01 21:03:09 +0100 |
commit | dfe045b9ad900945f15658d052496dbf2741502f (patch) | |
tree | 7cac9b1db24c10d26d44625fd341ab3093d7c42b | |
parent | 8a4c77a780e21a91485193d619078f4f47fb59b4 (diff) |
Correctly implement object_discard.
-rw-r--r-- | viengoos/server.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/viengoos/server.c b/viengoos/server.c index a45933a..2c74018 100644 --- a/viengoos/server.c +++ b/viengoos/server.c @@ -1459,6 +1459,8 @@ dispatcher (uintptr_t flags, folio_object_content_set (folio, objects_folio_offset (target), false); + memory_object_destroy (principal, target); + memory_frame_free ((uintptr_t) target); vg_object_discard_reply (activity, reply); break; |