PHP Config::set_quit Examples

Example #1

File: Handler.php Project: TechnoBotz/hack-hhvm-docs

 public function option_quit($k, $v)
 {
     Config::set_quit(true);
 }