| 401 | } |
| 402 | |
| 403 | String readStdin() { |
| 404 | String result; |
| 405 | char buffer[1024]; |
| 406 | while (!feof(stdin)) { |
| 407 | size_t readBytes = fread(buffer, 1, 1024, stdin); |
| 408 | result.append(buffer, readBytes); |
| 409 | } |
| 410 | return result; |
| 411 | } |
| 412 | |
| 413 | int main(int argc, char** argv) { |
| 414 | try { |