public function __construct()
{
parent::__construct(true);
}
$early_debug = false;
$start_time = microtime(true);
date_default_timezone_set('America/Los_Angeles');
// this is stupid, but *required* by PHP :( TODO: make it better! if possible...
// Super high level exception if all else truly fails.
try {
define('BASEPATH', realpath(dirname(__FILE__) . DIRECTORY_SEPARATOR) . DIRECTORY_SEPARATOR);
$includes = array('/includes/', '/includes/legacy/', '/includes/local');
foreach ($includes as $path) {
ini_set('include_path', ini_get('include_path') . PATH_SEPARATOR . realpath(BASEPATH . $path));
}
if (file_exists('./index.local.php')) {
require './index.local.php';
} else {
require 'includes/PHPDS.inc.php';
$PHPDS = new PHPDS();
$PHPDS->run();
}
} catch (Exception $e) {
if ($early_debug) {
error_log('Uncaught exception!' . $e);
}
print '<h1>Uncaught exception!</h1>';
print '<p>PHPDevShell encountered a serious error, please check all files and their permissions. Some components could be missing.</p>';
print '<div style="color: red">' . $e->getMessage() . ' in ' . $e->getFile() . ' on line ' . $e->getLine() . '</div>';
if (!empty($PHPDS) && is_a($PHPDS, 'PHPDS')) {
$config = $PHPDS->PHPDS_configuration();
if (!empty($config['error']['display'])) {
print "<pre>{$e}</pre>";
}
}
