Very rough restarting algorithm for watchman lazy mode
Very rough restarting algorithm for watchman lazy mode

Summary: This does a very rough estimate to see if restarting the server would be faster than actually running the recheck's merge.

Reviewed By: jbrown215

Differential Revision: D13060171

fbshipit-source-id: 623478ab26a71b12f84b41f294e89488f19f3e3d

facebook/flow,gabelevi/flow,facebook/flow,facebook/flow,mroch/flow,AgentME/flow,facebook/flow,mroch/flow,samwgoldman/flow,facebook/flow,popham/flow,popham/flow,mroch/flow,AgentME/flow,gabelevi/flow,facebook/flow,mroch/flow,gabelevi/flow,samwgoldman/flow,gabelevi/flow,gabelevi/flow,mroch/flow,popham/flow,popham/flow,gabelevi/flow,popham/flow,AgentME/flow,AgentME/flow,samwgoldman/flow,popham/flow,popham/flow,samwgoldman/flow,samwgoldman/flow,mroch/flow,mroch/flow,facebook/flow,samwgoldman/flow,gabelevi/flow,samwgoldman/flow,AgentME/flow