python: provide a Database.close function
authorJustus Winter <4winter@informatik.uni-hamburg.de>
Wed, 15 Feb 2012 21:25:13 +0000 (22:25 +0100)
committerJustus Winter <4winter@informatik.uni-hamburg.de>
Wed, 15 Feb 2012 21:25:13 +0000 (22:25 +0100)
commitb2734519db78fdec76eeafc5fe8f5631a6436cf6
treefec1ca91ee828e4f62be26986e82035bebc7cda8
parent5f39979a4aa2aea7d587201702fa3443248334bd
python: provide a Database.close function

Rename Database.__del__ to Database.close, move it just below the open
function and call close() in a newly created destructor just below the
constructor.

Signed-off-by: Justus Winter <4winter@informatik.uni-hamburg.de>
bindings/python/notmuch/database.py