Roxen.git / server / base_server / highlight_pike.pike

version» Context lines:

Roxen.git/server/base_server/highlight_pike.pike:1: + // This file is part of Roxen Webserver. + // Copyright © 1996 - 2000, Roxen IS. + // $Id: highlight_pike.pike,v 1.3 2000/02/20 17:41:33 nilsson Exp $ +    string quote(string s)   {    return replace(s,({ "<", ">", "&", }),({"&lt;", "&gt;", "&amp;" }));   }      string highlight_string(string s,mapping m)   {    if(m->dark)    return "<i><font color=darkred>"+quote(s)+"</font></i>";    else