Shut down pagelet server before exiting
commit9cecd8956a3ba935b263bcac149be1ce8c3b43fd
authormwilliams <mwilliams@fb.com>
Fri, 21 Jun 2013 19:14:43 +0000 (21 12:14 -0700)
committerSara Golemon <sgolemon@fb.com>
Fri, 21 Jun 2013 23:37:10 +0000 (21 16:37 -0700)
treebc909afb96d30eccd97d619d3c1ec144879203dc
parent000eadc4300b4b5da59ea299d9bb02ce2d541379
Shut down pagelet server before exiting

There was nothing stopping a pagelet thread from continuing
to run after the server was shut down. If it continued to run after
main exited, it could access data structures (such as the global maps
used by Apc and FileRepository) that had been torn down, and crash.
hphp/runtime/base/program_functions.cpp
hphp/runtime/base/server/pagelet_server.cpp
hphp/runtime/base/server/pagelet_server.h
hphp/runtime/base/server/xbox_server.cpp