From 1bb5a381a2e2f345beb1ca8d019b6174b13bb125 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Fri, 25 Jun 2010 00:04:07 +0200
Subject: Call device_close on store closure

* libstore/device.c (dclose): Call device_close before deallocating the device
port.
---
 libstore/device.c | 1 +
 1 file changed, 1 insertion(+)

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;
 }
-- 
cgit v1.2.3