Give watchman 30s instead of 10s for scm queries
commit626a91440d434dc6002d84dc3858f4741c1debda
authorGabe Levi <gabe@fb.com>
Wed, 5 Dec 2018 12:21:07 +0000 (5 04:21 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 5 Dec 2018 12:23:46 +0000 (5 04:23 -0800)
treea62e15605ebbb6be66b237ac9092b70191eeef40
parent5a0d8dae5239c5a8c4be8c1e7c3d597f4df11a80
Give watchman 30s instead of 10s for scm queries

Summary: Inside the file watcher, we were giving Watchman 10s to finish scm queries. 30s seems more fair.

Reviewed By: jbrown215

Differential Revision: D13331877

fbshipit-source-id: 80971bc8ca96635413974e68de021bd025c08990
hphp/hack/src/watchman/watchman.ml
hphp/hack/src/watchman/watchman_sig.ml