diff --git a/src/plugins/server/kernel_properties.ml b/src/plugins/server/kernel_properties.ml index 968e8fef88d6febf82abd6672b3865a526f06e87..9d6e9e55ed9e9ebdfc6d337dc6327959182ac06a 100644 --- a/src/plugins/server/kernel_properties.ml +++ b/src/plugins/server/kernel_properties.ml @@ -227,6 +227,11 @@ let () = States.column ~model ~name:"kind" ~data:(module PropKind) ~get:(fun ip -> ip) () +let () = States.column ~model ~name:"names" + ~descr:(Md.plain "Names") + ~data:(module Jstring.Jlist) + ~get:Property.get_names () + let () = States.column ~model ~name:"status" ~descr:(Md.plain "Status") ~data:(module PropStatus)