$msg) { print_msg($header, $msg["text"], $msg["error"]); } echo "+", str_repeat("-", 98), "+\n"; flush();