diff src/c/urweb.c @ 1027:be1aec7333a5

Saving paper assignments
author Adam Chlipala <adamc@hcoop.net>
date Mon, 02 Nov 2009 14:11:08 -0500
parents 7facf72aaf0a
children dcc6093e9575
line wrap: on
line diff
--- a/src/c/urweb.c	Mon Nov 02 11:37:41 2009 -0500
+++ b/src/c/urweb.c	Mon Nov 02 14:11:08 2009 -0500
@@ -1213,6 +1213,10 @@
       strcpy(s2, "\\\"");
       s2 += 2;
       break;
+    case '\'':
+      strcpy(s2, "\\047");
+      s2 += 4;
+      break;
     case '\\':
       strcpy(s2, "\\\\");
       s2 += 2;
@@ -1245,6 +1249,10 @@
     strcpy(s2, "\\\"");
     s2 += 2;
     break;
+  case '\'':
+    strcpy(s2, "\\047");
+    s2 += 4;
+    break;
   case '\\':
     strcpy(s2, "\\\\");
     s2 += 2;
@@ -1276,7 +1284,7 @@
 
     switch (c) {
     case '\'':
-      strcpy(s2, "\\\"");
+      strcpy(s2, "\\");
       s2 += 2;
       break;
     case '\\':