summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2010-06-25 00:04:07 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2010-06-25 00:04:07 +0200
commit1bb5a381a2e2f345beb1ca8d019b6174b13bb125 (patch)
tree62974484e80f640b5cd3af58a7320d5585ee6016
parent958aba769688457d49d989160791fb7da0d35a25 (diff)
Call device_close on store closure
* libstore/device.c (dclose): Call device_close before deallocating the device port.
-rw-r--r--libstore/device.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/libstore/device.c b/libstore/device.c
index 3a72df48..bbb2fe9e 100644
--- a/libstore/device.c
+++ b/libstore/device.c
@@ -119,6 +119,7 @@ dopen (const char *name, device_t *device, int *mod_flags)
static void
dclose (struct store *store)
{
+ device_close (store->port);
mach_port_deallocate (mach_task_self (), store->port);
store->port = MACH_PORT_NULL;
}