///////////////////////////////////////////////////////////////////////////
| 64 | |
| 65 | //////////////////////////////////////////////////////////////////////////////// |
| 66 | static void signal_handler(int s) { |
| 67 | if (s == SIGINT) { |
| 68 | std::cout << "\n\nInterrupted: No changes made.\n"; |
| 69 | exit(1); |
| 70 | } |
| 71 | } |
| 72 | |
| 73 | //////////////////////////////////////////////////////////////////////////////// |
| 74 | // 0 = no |
nothing calls this directly
no outgoing calls
no test coverage detected