/// <exception cref="Db4objects.Db4o.Ext.Db4oIOException"></exception>
public override void Close()
{
// FIXME: This is a temporary quickfix for a bug in Android.
// Remove after Android has been fixed.
try
{
if (_delegate != null)
{
_delegate.Seek(0);
}
}
catch (IOException)
{
}
// ignore
Platform4.UnlockFile(_path, _delegate);
try
{
if (_delegate != null)
{
_delegate.Close();
}
}
catch (IOException e)
{
throw new Db4oIOException(e);
}
}
/// <exception cref="Db4objects.Db4o.Ext.Db4oIOException"></exception>
public virtual void Close()
{
Platform4.UnlockFile(_path, _file);
try
{
if (!IsClosed())
{
_file.Close();
}
}
catch (IOException e)
{
throw new Db4oIOException(e);
}
finally
{
_file = null;
}
}