| 1212 | } |
| 1213 | |
| 1214 | static std::string read_pipe_data() { |
| 1215 | std::ostringstream result; |
| 1216 | result << std::cin.rdbuf(); // Read all data from std::cin |
| 1217 | return result.str(); |
| 1218 | } |
| 1219 | |
| 1220 | static void ctrl_c_handling() { |
| 1221 | #if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__)) |