| 71 | } |
| 72 | |
| 73 | void errexit(int code) |
| 74 | // Exits the program with a fatal error. First it prints a single line |
| 75 | // "Error" to stderr. This is important because the utilities that use us |
| 76 | // (copycomdb2 particularly) invoke us through rsh and don't easily get |
| 77 | // access to out exit status, so they rely on the error output clearly |
| 78 | // indicating that an error occured. |
| 79 | { |
| 80 | std::cerr << "Error" << std::endl; |
| 81 | std::exit(code); |
| 82 | } |
| 83 | |
| 84 | #define QUOTE_(x) #x |
| 85 | #define QUOTE(x) QUOTE_(x) |