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.
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,({ "<", ">", "&", }),({"<", ">", "&" })); } string highlight_string(string s,mapping m) { if(m->dark) return "<i><font color='darkred'>"+quote(s)+"</font></i>";