diff options
Diffstat (limited to 'extras/mini-os/pcifront.c')
| -rw-r--r-- | extras/mini-os/pcifront.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extras/mini-os/pcifront.c b/extras/mini-os/pcifront.c index 638fdb3966..dc6c461de8 100644 --- a/extras/mini-os/pcifront.c +++ b/extras/mini-os/pcifront.c @@ -378,7 +378,8 @@ close_pcifront: snprintf(path, sizeof(path), "%s/event-channel", nodename); xenbus_rm(XBT_NIL, path); - free_pcifront(dev); + if (!err) + free_pcifront(dev); } int pcifront_physical_to_virtual (struct pcifront_dev *dev, |