| class FileBuffer: | |
| def __init__(self, file): | |
| self.file = open(file, 'w') | |
| def write(self, *argv): | |
| print(*argv, file=self.file) | |
| print(*argv) | |
| class FileBuffer: | |
| def __init__(self, file): | |
| self.file = open(file, 'w') | |
| def write(self, *argv): | |
| print(*argv, file=self.file) | |
| print(*argv) | |