summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-02 14:11:08 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-02 14:11:08 -0500
commit8f8fb8c27b65401c21289299b9b529b1ec3283c9 (patch)
tree5478ca2d3d314d9a33ce30f1a391dcf03a9a4ff0 /src
parentb960b5b682ec4c2662875f33d20ee9c2b28769e8 (diff)
Saving paper assignments
Diffstat (limited to 'src')
-rw-r--r--src/c/urweb.c10
1 files changed, 9 insertions, 1 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 8d63d174..72f78a33 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -1213,6 +1213,10 @@ uw_Basis_string uw_Basis_jsifyString(uw_context ctx, uw_Basis_string s) {
strcpy(s2, "\\\"");
s2 += 2;
break;
+ case '\'':
+ strcpy(s2, "\\047");
+ s2 += 4;
+ break;
case '\\':
strcpy(s2, "\\\\");
s2 += 2;
@@ -1245,6 +1249,10 @@ uw_Basis_string uw_Basis_jsifyChar(uw_context ctx, uw_Basis_char c) {
strcpy(s2, "\\\"");
s2 += 2;
break;
+ case '\'':
+ strcpy(s2, "\\047");
+ s2 += 4;
+ break;
case '\\':
strcpy(s2, "\\\\");
s2 += 2;
@@ -1276,7 +1284,7 @@ uw_Basis_string uw_Basis_jsifyString_ws(uw_context ctx, uw_Basis_string s) {
switch (c) {
case '\'':
- strcpy(s2, "\\\"");
+ strcpy(s2, "\\");
s2 += 2;
break;
case '\\':