Add unique ids to each Hack build, and handle sigint
[hiphop-php.git] / hphp / hack / src / utils / 
tree09b0907e341985494685949b2f4c6e5b6bcbdb39
drwxr-xr-x   ..
-rw-r--r-- 49 .gitignore
-rw-r--r-- 498 build_id.ml
-rw-r--r-- 990 config_file.ml
-rw-r--r-- 331 core.ml
-rw-r--r-- 6261 daemon.ml
-rw-r--r-- 2817 daemon.mli
-rw-r--r-- 73303 errors.ml
-rw-r--r-- 14394 errors.mli
-rw-r--r-- 1724 exit_status.ml
-rw-r--r-- 2481 find.ml
-rw-r--r-- 466 find.mli
-rw-r--r-- 1071 fork.ml
-rw-r--r-- 1683 get_build_id.c
-rw-r--r-- 1019 handle.ml
-rw-r--r-- 739 handle_stubs.c
-rw-r--r-- 4010 hh_json.ml
-rw-r--r-- 831 hh_logger.ml
-rw-r--r-- 2175 ident.ml
-rw-r--r-- 3570 lint.ml
-rw-r--r-- 846 lint.mli
-rw-r--r-- 3424 lock.ml
-rw-r--r-- 663 nproc.c
-rw-r--r-- 2414 path.ml
-rw-r--r-- 855 path.mli
-rw-r--r-- 5322 php_escaping.ml
-rw-r--r-- 1436 pidLog.ml
-rw-r--r-- 4180 pos.ml
-rw-r--r-- 1767 pos.mli
-rw-r--r-- 1229 printSignal.ml
-rw-r--r-- 706 random_id.ml
-rw-r--r-- 1034 realpath.c
-rw-r--r-- 782 regexp_utils.ml
-rw-r--r-- 1979 relative_path.ml
-rw-r--r-- 922 relative_path.mli
-rw-r--r-- 1519 stats.ml
-rw-r--r-- 9410 sys_utils.ml
-rw-r--r-- 1946 tail.ml
-rw-r--r-- 589 tail.mli
-rw-r--r-- 837 tmp.ml
-rw-r--r-- 9240 trie.ml
-rw-r--r-- 3427 tty.ml
-rw-r--r-- 1569 tty.mli
-rw-r--r-- 9415 utils.ml
-rw-r--r-- 1076 wwwroot.ml