function prettyprint($equ) {
if (!extension_loaded("curl"))
dl("curl");
$ch = curl_init();
curl_setopt($ch, CURLOPT_URL, "http://prettyprint.free.fr/index.php");
curl_setopt($ch, CURLOPT_HEADER, false);
curl_setopt($ch, CURLOPT_POST, true);
curl_setopt($ch, CURLOPT_POSTFIELDS, "equ=".urlencode($equ));
curl_setopt($ch, CURLOPT_RETURNTRANSFER, true);
curl_setopt($ch, CURLOPT_USERAGENT, $_SERVER['HTTP_USER_AGENT']);
$url = curl_exec($ch);
curl_close($ch);
$url = strtr($url, "<>'\"", " ");
if (ereg(".*/[^\.]*\.([0-9]*)\..*", $url, $regs))
$v_align = " style=\"vertical-align:-${regs[1]}px\" ";
else $v_align = "";
return "<img src=\"$url\"${v_align}>";
}
|