/**
* Supports debugging, specifically for php shutdown debugging which is
* otherwise impossible. If not set, stderr and stdout on php shutdown
* processes are redirected to /dev/null. If the path is set,
* stdout is redirector to $path/msgq.stdout and $path/msgq.stderr.
* @param String $path A path to a writable location where two files are
* created, msgq.stdout and msgq.stderr
*/
static function set_debugging($path)
{
if (substr($path, -1) == "/") {
$path = substr($path, 0, -1);
}
self::$debugging_path = $path;
}
