Remove ServerDfind
commit34ccff5f59f5c40ad50ae8df69685031660b297c
authorJez Ng <jezng@fb.com>
Sat, 23 May 2015 17:49:52 +0000 (23 10:49 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Sat, 23 May 2015 18:00:30 +0000 (23 11:00 -0700)
treef9b7f388508005f486a8c4c38008bbf798b42e57
parentb10840ae73758eced95de49f1c3e3653897fcaf9
Remove ServerDfind

Summary: The functionality can be split between DfindLib and
ServerEnvBuild. This also has the advantage of making the Dfind state
explicit. It would also help code sharing between Flow and Hack (since
server code will no longer be shared)

Reviewed By: @jwatzman

Differential Revision: D2096628
hphp/hack/src/dfind/dfindLib.ml
hphp/hack/src/dfind/dfindLib.mli [moved from hphp/hack/src/server/serverDfind.mli with 61% similarity]
hphp/hack/src/dfind/dfindServer.ml
hphp/hack/src/server/serverDfind.ml [deleted file]
hphp/hack/src/server/serverEnv.ml
hphp/hack/src/server/serverEnvBuild.ml
hphp/hack/src/server/serverEnvBuild.mli
hphp/hack/src/server/serverFunctors.ml
hphp/hack/src/server/serverRpc.ml
hphp/hack/src/server/serverUtils.ml