about summary refs log tree commit diff
path: root/aterm-gc.supp
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-10-14T15·55+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-10-14T15·55+0000
commit64fd29855a8ae49cacdaff424679821b4fd3bf57 (patch)
treebf99b1034e1bfe9a4c152bf8b361cb7e5c2ccd35 /aterm-gc.supp
parentbfa6ee7d919b84a105f6376116e82240e44b990d (diff)
* Wrap deleteFromStore() in a transaction. Otherwise there might be a
  race with other processes that add new referrers to a path,
  resulting in the garbage collector crashing with "foreign key
  constraint failed".  (Nix/4)
* Make --gc --print-dead etc. interruptible.

Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions