comparison 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
comparison
equal deleted inserted replaced
1026:c1f49f6ba856 1027:be1aec7333a5
1211 switch (c) { 1211 switch (c) {
1212 case '"': 1212 case '"':
1213 strcpy(s2, "\\\""); 1213 strcpy(s2, "\\\"");
1214 s2 += 2; 1214 s2 += 2;
1215 break; 1215 break;
1216 case '\'':
1217 strcpy(s2, "\\047");
1218 s2 += 4;
1219 break;
1216 case '\\': 1220 case '\\':
1217 strcpy(s2, "\\\\"); 1221 strcpy(s2, "\\\\");
1218 s2 += 2; 1222 s2 += 2;
1219 break; 1223 break;
1220 default: 1224 default:
1243 switch (c) { 1247 switch (c) {
1244 case '"': 1248 case '"':
1245 strcpy(s2, "\\\""); 1249 strcpy(s2, "\\\"");
1246 s2 += 2; 1250 s2 += 2;
1247 break; 1251 break;
1252 case '\'':
1253 strcpy(s2, "\\047");
1254 s2 += 4;
1255 break;
1248 case '\\': 1256 case '\\':
1249 strcpy(s2, "\\\\"); 1257 strcpy(s2, "\\\\");
1250 s2 += 2; 1258 s2 += 2;
1251 break; 1259 break;
1252 default: 1260 default:
1274 for (; *s; s++) { 1282 for (; *s; s++) {
1275 char c = *s; 1283 char c = *s;
1276 1284
1277 switch (c) { 1285 switch (c) {
1278 case '\'': 1286 case '\'':
1279 strcpy(s2, "\\\""); 1287 strcpy(s2, "\\");
1280 s2 += 2; 1288 s2 += 2;
1281 break; 1289 break;
1282 case '\\': 1290 case '\\':
1283 strcpy(s2, "\\\\"); 1291 strcpy(s2, "\\\\");
1284 s2 += 2; 1292 s2 += 2;