Public Git Hosting - hiphop-php.git/commit

Add unique ids to each Hack build, and handle sigint

Reviewed By: @bpr

Differential Revision: D2390909

hphp/hack/src/client/clientArgs.ml		diff \| blob \| blame \| history
hphp/hack/src/client/clientBuild.ml		diff \| blob \| blame \| history
hphp/hack/src/client/clientLogCommand.ml		diff \| blob \| blame \| history
hphp/hack/src/client/clientLogCommandUtils.ml		diff \| blob \| blame \| history
hphp/hack/src/hh_client.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverBuild.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverIdle.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverInit.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/exit_status.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/random_id.ml	[new file with mode: 0644]	blob
hphp/hack/src/utils/sys_utils.ml		diff \| blob \| blame \| history