" . $guc_name . "

" . $guc_value . "

"; } pg_free_result($res); $message = "Server: " . $servers[$server]["description"]; // Echo the HTML snippet $text = <<

$message

$gucs EOT; echo $text; exit(); ?>