Escape less-than in JavaScript strings

1 files changed, 12 insertions, 0 deletions

diff --git a/src/c/urweb.c b/src/c/urweb.c
index 4dae4c3d..1ca45836 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -1380,6 +1380,10 @@ uw_Basis_string uw_Basis_jsifyString(uw_context ctx, uw_Basis_string s) {
       strcpy(s2, "\\\\");
       s2 += 2;
       break;
+    case '<':
+      strcpy(s2, "\\074");
+      s2 += 4;
+      break;
     default:
       if (isprint((int)c) || c >= 128)
         *s2++ = c;
@@ -1417,6 +1421,10 @@ uw_Basis_string uw_Basis_jsifyChar(uw_context ctx, uw_Basis_char c1) {
     strcpy(s2, "\\\\");
     s2 += 2;
     break;
+  case '<':
+    strcpy(s2, "\\074");
+    s2 += 4;
+    break;
   default:
     if (isprint((int)c) || c >= 128)
       *s2++ = c;
@@ -1451,6 +1459,10 @@ uw_Basis_string uw_Basis_jsifyString_ws(uw_context ctx, uw_Basis_string s) {
       strcpy(s2, "\\\\");
       s2 += 2;
       break;
+    case '<':
+      strcpy(s2, "\\074");
+      s2 += 4;
+      break;
     default:
       if (isprint((int)c) || c >= 128)
         *s2++ = c;