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. + // This file is part of Internet Server.   // Copyright © 1996 - 2001, Roxen IS. - // $Id: highlight_pike.pike,v 1.5 2001/06/17 20:07:09 nilsson Exp $ + // $Id: highlight_pike.pike,v 1.6 2002/06/14 16:05:03 jhs 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>";