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 - 2001, Roxen IS. - // $Id: highlight_pike.pike,v 1.5 2001/06/17 20:07:09 nilsson Exp $ + // Copyright © 1996 - 2004, Roxen IS. + // $Id: highlight_pike.pike,v 1.6 2004/06/30 16:58:37 mast 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>";