solved some TODOs about Tgeneric type arguments (2)
[hiphop-php.git] / hphp / hack / src / monitor / monitorConnection.mli
blob6572a35c28a87f76d717a5c2ffe25da3def099c7
1 (*
2 * Copyright (c) 2015, Facebook, Inc.
3 * All rights reserved.
5 * This source code is licensed under the MIT license found in the
6 * LICENSE file in the "hack" directory of this source tree.
8 *)
10 val server_exists : string -> bool
12 val connect_once :
13 tracker:Connection_tracker.t ->
14 timeout:int ->
15 ServerMonitorUtils.monitor_config ->
16 MonitorRpc.handoff_options ->
17 ( Timeout.in_channel * out_channel * string,
18 ServerMonitorUtils.connection_error )
19 result
21 val connect_and_shut_down :
22 tracker:Connection_tracker.t ->
23 ServerMonitorUtils.monitor_config ->
24 ( ServerMonitorUtils.shutdown_result,
25 ServerMonitorUtils.connection_error )
26 result
28 val connect_to_monitor_and_get_server_progress :
29 tracker:Connection_tracker.t ->
30 timeout:int ->
31 ServerMonitorUtils.monitor_config ->
32 (string * string option, ServerMonitorUtils.connection_error) result