server: Add request to retrieve the next pending ioctl call for a device manager.
diff --git a/server/request.h b/server/request.h
index 6d769c1..4f175a6 100644
--- a/server/request.h
+++ b/server/request.h
@@ -327,6 +327,7 @@
DECL_HANDLER(create_device_manager);
DECL_HANDLER(create_device);
DECL_HANDLER(delete_device);
+DECL_HANDLER(get_next_device_request);
#ifdef WANT_REQUEST_HANDLERS
@@ -550,6 +551,7 @@
(req_handler)req_create_device_manager,
(req_handler)req_create_device,
(req_handler)req_delete_device,
+ (req_handler)req_get_next_device_request,
};
#endif /* WANT_REQUEST_HANDLERS */