Ubuntu
apt-xapian-index package

  1. Bug #1652641
  2. Comment #10

Comment 10 for bug 1652641

Revision history for this message
Carlo Vanini (silhusk) wrote :

Sorry for the noise, patch updated again. This time it uses a weakref.finalizer instead of __del__. This is a little a cleaner solution. Moreover the finalizer is guaranteed to be called (at the latest at exit), whereas __del__ is not.