+function a_href($url,$contents)
+{
+ global $have_ent,$energie_base;
+
+ $r="<a href=\"";
+ $urlent=htmlspecialchars($url);
+ if ($url==$urlent)
+ $r.=$url;
+ else if (!ereg("^[a-z]+://",$url)) // $url is our resource
+ $r.=$urlent;
+ else if (isset($have_ent) && !$have_ent) // non-ent client
+ $r.=$url;
+ else if ($have_ent) // ent client
+ $r.=$urlent;
+ else // unknown client, htmlspecialchars() should not be needed here
+ $r.=htmlspecialchars($energie_base."redirect.php?location=".urlencode($url));
+ $r.="\">$contents</a>";
+ return($r);
+}
+