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 - 2009, Roxen IS. - // $Id: highlight_pike.pike,v 1.8 2009/05/07 14:15:52 mast Exp $ + // $Id$      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>";