3 Commits (1c7cdb02dead311058ffac792bab34e780bf39d7)

Author	SHA1	Message	Date
Jules Villard	cb4bf4443f	[sqlite] increase timeout to avoid BUSY errors ... Summary: This should stop the bleeding until we get a better solution like shared memory + single writer process. Reviewed By: mbouaziz Differential Revision: D10868360 fbshipit-source-id: a4d0b064e	6 years ago
Jules Villard	a3f428e90f	[sql] make busy timeout configurable ... Summary: Sometimes the default timeout of 10s is not enough(!). Make it configurable while we work on not hitting it anyway. Reviewed By: da319 Differential Revision: D10083772 fbshipit-source-id: ab949039f	6 years ago
Jules Villard	515d9f6769	[man] check in manual pages ... Summary: This allows infer devs to see the effects their changes have on the infer manuals. Check in the manuals for each subcommand + the output of `--help-full` to get a complete picture. If this is too annoying we can also check in only `--help-full`. Reviewed By: mbouaziz Differential Revision: D9916404 fbshipit-source-id: b981e2c33	6 years ago