?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: cdcc6ca) | patch
Allow a php endpoint to be played before server shutdown
commit663414633161d3659a65869289af346680cb7722
authorBin Liu <binliu@fb.com>
Fri, 18 Mar 2016 23:14:12 +0000 (18 16:14 -0700)
committerHhvm Bot <hhvm-bot-bot@fb.com>
Fri, 18 Mar 2016 23:30:52 +0000 (18 16:30 -0700)
tree37583e6a5062a6fde796f90e1236ff274f5cbaa4tree | snapshot (tar.gz zip)
parentcdcc6ca4ab7f70b24b478532f787c60235257b79commit | diff
Allow a php endpoint to be played before server shutdown

Summary: The request can be used to flush local caches to persistent storage and perform other cleanup tasks.

Differential Revision: D2937096

fb-gh-sync-id: a1906fa6283144d48a0d86fcf45064d3f448ae58
shipit-source-id: a1906fa6283144d48a0d86fcf45064d3f448ae58
hphp/runtime/base/runtime-option.cpp diff | blob | blame | history
hphp/runtime/base/runtime-option.h diff | blob | blame | history
hphp/runtime/server/http-server.cpp diff | blob | blame | history
hphp/runtime/server/http-server.h diff | blob | blame | history