diff options
Diffstat (limited to 'extras/mini-os/xenbus')
-rw-r--r-- | extras/mini-os/xenbus/xenbus.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/extras/mini-os/xenbus/xenbus.c b/extras/mini-os/xenbus/xenbus.c index 916a389644..c4e6abd8a4 100644 --- a/extras/mini-os/xenbus/xenbus.c +++ b/extras/mini-os/xenbus/xenbus.c @@ -96,7 +96,10 @@ void xenbus_wait_for_watch(xenbus_event_queue *queue) if (!queue) queue = &xenbus_events; ret = xenbus_wait_for_watch_return(queue); - free(ret); + if (ret) + free(ret); + else + printk("unexpected path returned by watch\n"); } char* xenbus_wait_for_value(const char* path, const char* value, xenbus_event_queue *queue) |