*trivial* Remove unused flag 'force_stop_existing_persistent_connection'
commit30b37e4f8be6c25af279035b049e477c59fa8a37
authorLucian Wischik <ljw@fb.com>
Wed, 24 May 2017 19:04:50 +0000 (24 12:04 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 24 May 2017 19:19:06 +0000 (24 12:19 -0700)
tree0533f57979b8e949ee9ac9488f165e9cf8fa3347
parentea3f9ecda2209eae04a39015d245d499ff8ed6e3
*trivial* Remove unused flag 'force_stop_existing_persistent_connection'

Summary:
I'd recently checked in a flag concerning Persistent_soft vs Persistent_hard. At the time I'd misunderstood what work gets done pre-handoff, vs what work gets done after the handoff to the server. It turns out that the "force stop" issue must be done entirely after the handoff.

So this *handoff* flag 'force_stop_existing_persistent_connection' was in the wrong place. And it was never used in any case.

Reviewed By: arxanas

Differential Revision: D5111111

fbshipit-source-id: eb960c9c6a6d5d9ba590b7c4f6f00edd724264fc
hphp/hack/src/client/clientConnect.ml
hphp/hack/src/client/clientIde.ml
hphp/hack/src/client/clientLsp.ml
hphp/hack/src/client/clientStart.ml
hphp/hack/src/monitor/monitorRpc.ml