1 <?hh // decl /* -*- mode: php -*- */
3 * Copyright (c) 2014, Facebook, Inc.
6 * This source code is licensed under the MIT license found in the
7 * LICENSE file in the "hack" directory of this source tree.
11 const int PAGELET_NOT_READY = 0;
12 const int PAGELET_READY = 0;
13 const int PAGELET_DONE = 0;
16 function dangling_server_proxy_old_request();
18 function pagelet_server_is_enabled();
20 function pagelet_server_task_start($url, $headers = null, $post_data = null, $files = null, int $timeout_seconds = 0);
22 function pagelet_server_task_status($task);
24 function pagelet_server_task_result($task, &$headers, &$code, $timeout_ms = 0): string;
26 function pagelet_server_flush();
28 function xbox_send_message($msg, &$ret, $timeout_ms, $host = "localhost");
30 function xbox_post_message($msg, $host = "localhost");
32 function xbox_task_start($message);
34 function xbox_task_status($task);
36 function xbox_task_result($task, $timeout_ms, &$ret);
38 function xbox_process_call_message($msg);
40 function xbox_get_thread_timeout();
42 function xbox_set_thread_timeout($timeout);
44 function xbox_schedule_thread_reset();
46 function xbox_get_thread_time();