(message, user_fault=False)
| 16 | |
| 17 | # print an error message and quit |
| 18 | def print_error(message, user_fault=False): |
| 19 | sys.stderr.write('ERROR: ' + str(message) + '\n') |
| 20 | if user_fault: |
| 21 | sys.exit(2) |
| 22 | sys.exit(-1) |
| 23 | |
| 24 | |
| 25 | # if string s represents an int |
nothing calls this directly
no outgoing calls
no test coverage detected