$value) { /* * Check the property for any modifications. */ if ($vm_info[$property] != $db_info[$property]) { mysql_query("UPDATE vmware_vminfo SET " . $property ." = '" . mres($vm_info[$property]) ."' WHERE id = '" . $db_info["id"] . "'"); log_event($db_info["vmwVmDisplayName"] . " (" . preg_replace("/^vmwVm/", "", $property) . ") -> " . $vm_info[$property], $device); } } } /* * Finished discovering VMware information. */ echo("\n"); ?>