(*args, **kwargs )
| 25 | return s.replace('\\\'', '\'') |
| 26 | |
| 27 | def write(*args, **kwargs ): |
| 28 | file = kwargs.pop('file',sys.stdout) |
| 29 | end = kwargs.pop('end','\n') |
| 30 | file.write(' '.join(str(arg) for arg in args)) |
| 31 | file.write(end) |
| 32 | |
| 33 | def setLogSourcefile(filename): |
| 34 | """Metadata which may be printed (if not None) for diagnostic messages""" |