A separate question--does the problem you reported with interrupted lock requests still exist? On Fri, May 09, 2008 at 02:41:07PM +0200, Miklos Szeredi wrote: