equal
deleted
inserted
replaced
205 cachefile.write(headerdata) |
205 cachefile.write(headerdata) |
206 cachefile.write(self._data.tostring()) |
206 cachefile.write(self._data.tostring()) |
207 cachefile.close() |
207 cachefile.close() |
208 self._ondiskkey = self._cachekey |
208 self._ondiskkey = self._cachekey |
209 except (IOError, OSError) as exc: |
209 except (IOError, OSError) as exc: |
|
210 repo.ui.log('depthcache', 'could not write update %s\n' % exc) |
210 repo.ui.debug('depthcache: could not write update %s\n' % exc) |
211 repo.ui.debug('depthcache: could not write update %s\n' % exc) |