hack_parallel

Parallel and shared memory library
Library hack_parallel.utils
Module Exit_status
type t =
| No_error
| Build_error
| Build_terminated
| Checkpoint_error
| Input_error
| Kill_error
| No_server_running
| Out_of_time
| Out_of_retries
| Server_already_exists
| Server_initializing
| Type_error
| Build_id_mismatch
| Monitor_connection_failure
| Unused_server
| Lock_stolen
| Lost_parent_monitor
| Interrupted
| Worker_oomed
| Worker_busy(*

An uncaught Not_found exception in the worker.

*)
| Worker_not_found_exception
| Worker_failed_to_send_job
| Socket_error
| Missing_hhi
| Dfind_died
| Dfind_unresponsive
| EventLogger_Timeout
| EventLogger_restart_out_of_retries
| EventLogger_broken_pipe
| CantRunAI
| Watchman_failed(*

It is faster to exit the server (and have the Monitor restart the server) * on a Watchman fresh instance than to compute the files that have been * deleted and do an incremental check.

*)
| Watchman_fresh_instance
| File_heap_stale
| Hhconfig_deleted
| Hhconfig_changed
| Server_shutting_down
| Server_name_not_found
| IDE_malformed_request
| IDE_no_server
| IDE_out_of_retries
| Nfs_root
| IDE_init_failure
| IDE_typechecker_died
| Redecl_heap_overflow
| Out_of_shared_memory
| Shared_mem_assertion_failure
| Hash_table_full
| IDE_new_client_connected
| Lazy_decl_bug
| Decl_heap_elems_bug
| Parser_heap_build_error
| Heap_full
| Sql_assertion_failure
| Local_type_env_stale
| Sql_cantopen
| Sql_corrupt
| Sql_misuse
| Uncaught_exception
exception Exit_with of t
val exit_code : t -> int
val exit : t -> 'a
val to_string : t -> string
val unpack : Unix.process_status -> string * int