diff options
| author | Robin Houston <robin.houston@gmail.com> | 2012-01-12 16:41:08 +0000 |
|---|---|---|
| committer | Robin Houston <robin.houston@gmail.com> | 2012-01-12 16:41:08 +0000 |
| commit | 0aafbd4a25b5c4c0edbd87c2224dcdd18388ede5 (patch) | |
| tree | 65d6cc3949216cd7240b26b3aa2cd956fb6bcd04 /script/generate_pot.sh | |
| parent | 50da9903f9a390fa5c5b32b9af889f13b2954030 (diff) | |
Retry if we get a DatabaseModifiedError from Xapian
Diffstat (limited to 'script/generate_pot.sh')
0 files changed, 0 insertions, 0 deletions