';
echo '| ';
if (getidbyname($vm['vmwVmDisplayName'])) {
echo generate_device_link(device_by_name($vm['vmwVmDisplayName']));
}
else {
echo $vm['vmwVmDisplayName'];
}
echo ' | ';
if ($vm['vmwVmState'] == 'powered off') {
echo 'OFF | ';
}
else {
echo 'ON | ';
}
if ($vm['vmwVmGuestOS'] == 'E: tools not installed') {
echo 'Unknown (VMware Tools not installed) | ';
}
else if ($vm['vmwVmGuestOS'] == '') {
echo '(Unknown) | ';
}
else if (isset($config['vmware_guestid'][$vm['vmwVmGuestOS']])) {
echo ''.$config['vmware_guestid'][$vm['vmwVmGuestOS']].' | ';
}
else {
echo ''.$vm['vmwVmGuestOS'].' | ';
}
if ($vm['vmwVmMemSize'] >= 1024) {
echo (''.sprintf('%.2f', ($vm['vmwVmMemSize'] / 1024)).' GB | ');
}
else {
echo ''.sprintf('%.2f', $vm['vmwVmMemSize']).' MB | ';
}
echo ''.$vm['vmwVmCpus'].' CPU | ';