| 354 | } |
| 355 | |
| 356 | void dumpstring(FILE *f, char *s, int quotes, int quote_quotes) |
| 357 | { |
| 358 | if (quotes) |
| 359 | fprintf(f, "'"); |
| 360 | while (*s) { |
| 361 | if (*s == '\'' && quote_quotes) |
| 362 | fprintf(f, "''"); |
| 363 | else |
| 364 | fprintf(f, "%c", *s); |
| 365 | s++; |
| 366 | } |
| 367 | if (quotes) |
| 368 | fprintf(f, "'"); |
| 369 | } |
| 370 | |
| 371 | int64_t hrtime() { |
| 372 | struct timeval t; |