(args)
| 36 | |
| 37 | |
| 38 | def escape_data(args): |
| 39 | # Make sure the string is unicode so the terminal can properly display it |
| 40 | # We do it using format() so it works across Python 2 and 3 |
| 41 | args = u'{}'.format(args) |
| 42 | return args.replace('\n', '\\n').replace('\r', '\\r').replace('\t', '\\t') |
| 43 | |
| 44 | |
| 45 | def timestr(): |