> Patch sent. I used a different output format which has the vmid as a key so it is > easier to access the right information as nobody needs to loop through the > array. But that format does not work with an ExtJS grid widget (in case someone wants to display it on the GUI)?