diff options
-rw-r--r-- | extras/mini-os/xenbus/xenbus.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/xenbus/xenbus.c b/extras/mini-os/xenbus/xenbus.c index d0dddad64e..dd475b3ed5 100644 --- a/extras/mini-os/xenbus/xenbus.c +++ b/extras/mini-os/xenbus/xenbus.c @@ -79,6 +79,7 @@ void wait_for_watch(void) schedule(); remove_waiter(w); wake(current); + remove_wait_queue(&w); } char* xenbus_wait_for_value(const char* path,const char* value) |