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.4 2001/03/12 14:09:20 nilsson Exp $ + // 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 $      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>";