Roxen.git
/
server
/
base_server
/
highlight_pike.pike
version
»
Context lines:
10
20
40
80
file
none
3
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,({ "<", ">", "&", }),({"<", ">", "&" })); } string highlight_string(string s,mapping m) { if(m->dark) return "<i><font color=darkred>"+quote(s)+"</font></i>"; else