Files
briar/components
akwizgran 18654f1514 It's not necessary to acquire all locks before closing the database,
since Database.close() prevents new transactions from starting anyway.
2011-08-05 13:39:49 +01:00
..
2011-06-22 11:42:33 +01:00