From 8fcb81d2dec60e6c3d5d60f16edb6969fc87da39 Mon Sep 17 00:00:00 2001 From: Martin Kletzander Date: Tue, 1 Mar 2016 17:34:19 +0100 Subject: [PATCH] admin: Don't use priority for admin APIs There are no priority workers as they don't make sense for now. Signed-off-by: Martin Kletzander --- src/admin/admin_protocol.x | 1 - 1 file changed, 1 deletion(-) diff --git a/src/admin/admin_protocol.x b/src/admin/admin_protocol.x index 089ce57c74..742ed2a89c 100644 --- a/src/admin/admin_protocol.x +++ b/src/admin/admin_protocol.x @@ -104,7 +104,6 @@ enum admin_procedure { /** * @generate: none - * @priority: high */ ADMIN_PROC_CONNECT_LIST_SERVERS = 4 };