summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-11-01 14:17:09 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-11-01 14:17:09 -0500
commit764c3b15d459a42ef6222a82f93a38937d2ac141 (patch)
treee9c2974db38b597213aef421eb11de875b842eb0 /lib
parent7f6d55c4b44a7e17d17b721e0d5a967f3c5fa6aa (diff)
JavaScript versions of a few more functions
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js8
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index 45ed6be8..6cf8a3f3 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1475,6 +1475,14 @@ function strcmp(str1, str2) {
return ((str1 == str2) ? 0 : ((str1 > str2) ? 1 : -1));
}
+function chr(n) {
+ return String.fromCharCode(n);
+}
+
+function htmlifySpecialChar(ch) {
+ return "&#" + ch.charCodeAt(0) + ";";
+}
+
// Remote calls