equal
deleted
inserted
replaced
315 if not self.closed: |
315 if not self.closed: |
316 self.handle = None |
316 self.handle = None |
317 self.closed = True |
317 self.closed = True |
318 |
318 |
319 def flush(self): |
319 def flush(self): |
320 try: |
320 # we have no application-level buffering |
321 win32file.FlushFileBuffers(self.handle) |
321 pass |
322 except pywintypes.error, err: |
|
323 raise WinIOError(err) |
|
324 |
322 |
325 def truncate(self, pos=0): |
323 def truncate(self, pos=0): |
326 try: |
324 try: |
327 win32file.SetFilePointer(self.handle, int(pos), |
325 win32file.SetFilePointer(self.handle, int(pos), |
328 win32file.FILE_BEGIN) |
326 win32file.FILE_BEGIN) |