comparison auto/os/linux @ 3942:2e8dbd773d63

fix r3756: release lock to allow other process to delete cache node patch by Maxim Dounin
author Igor Sysoev <igor@sysoev.ru>
date Tue, 19 Jul 2011 10:35:02 +0000
parents 7c80f584c3a9
children 4068898a6a7c
comparison
equal deleted inserted replaced
3941:ce1ba4a312d7 3942:2e8dbd773d63