Public Git Hosting - hiphop-php.git/commit

commit	ff74e24e7f0d4ef169fab748440a44573587a5a8
author	Kasper Kopec <kasper@fb.com>
	Sat, 1 Dec 2018 03:38:26 +0000 (30 19:38 -0800)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Sat, 1 Dec 2018 03:41:29 +0000 (30 19:41 -0800)
tree	f502da205809e42128d5bb9d6eb9f481658e2d42	tree \| snapshot (tar.gz zip)
parent	6c238b500be4336be50d21bfca47a8a832501a1b	commit \| diff

Do not re-use --with_mini_state option when restarting server after crash

Summary: See comment in-line for more motivation.

Differential Revision: D13287395

fbshipit-source-id: 3c815497eb8bfb2aa68ac3bbdc01488fd800546b

RSS Atom

hphp/hack/src/monitor/serverMonitor.ml		diff \| blob \| blame \| history
hphp/hack/src/monitor/serverMonitorUtils.ml		diff \| blob \| blame \| history
hphp/hack/src/server/hhServerMonitorConfig.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverArgs.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/informant/informant_server_lifetime_test.ml		diff \| blob \| blame \| history