repo.or.cz
/
hiphop-php.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Thread init/recheck IDs to ServerApi
[hiphop-php.git]
/
hphp
/
hack
/
src
/
server
/
serverRemoteInit.mli
blob
e7c3d2e9d73b93fef364e966e1f521ff53c582eb
1
(*
2
* Copyright (c) 2018, Facebook, Inc.
3
* All rights reserved.
4
*
5
* This source code is licensed under the MIT license found in the
6
* LICENSE file in the "hack" directory of this source tree.
7
*
8
*)
9
10
val
init
:
11
Provider_context
.
t
->
12
MultiWorker
.
worker list
option
->
13
worker_key
:
string
->
14
check_id
:
string
->
15
init_id
:
string
->
16
init_start_t
:
float
->
17
bin_root
:
Path
.
t
->
18
root
:
Path
.
t
->
19
unit