K 10
svn:author
V 6
iulius
K 8
svn:date
V 27
2015-06-20T14:10:08.257474Z
K 7
svn:log
V 607
Destroy buffindexed's semaphore as well as its shared memory segment

buffindexed deletes its shared memory segment when there are no more
users (i.e. when shm_nattch==0), but it fails to delete the semaphore
at the same time.

"make check" no longer leaks semaphores.

  % ./buffindexed.t

  cant create semaphore using ov-tmp/buffer: No space left on device
  failed to create semaphore for ov-tmp/buffer
  buffindexed: ovinitdisks: cant create shmem for ov-tmp/buffer len 16384: No space left on device
  Opening the overview database failed, cannot continue

Thanks to Richard Kettlewell for the patch.

END
