public void Dispose() { if (handle != IntPtr.Zero) { Native.leveldb_close(handle); handle = IntPtr.Zero; } }
public void Dispose() { TR.Enter(); if (handle != IntPtr.Zero) { TR.Log(handle); Native.leveldb_close(handle); handle = IntPtr.Zero; } TR.Exit(); }