| 123456789101112131415161718192021222324252627282930313233343536373839404142 |
- <?php
- $php_version = phpversion();
- $php_major = floatval(substr($php_version, 0, 3));
- // Define SIGKILL if pcntl is not found
- if (!function_exists('pcntl_signal')) {
- define('SIGKILL', 9);
- }
- if ($php_major < 5.4) {
- define('WITHOUT_SERVER', true);
- } else {
- // Command that starts the built-in web server
- $command = sprintf('php -S %s:%d -t %s >./server.log 2>&1 & echo $!', WEB_SERVER_HOST, WEB_SERVER_PORT, WEB_SERVER_DOCROOT);
- // Execute the command and store the process ID
- $output = array();
- exec($command, $output, $exit_code);
- // sleep for a second to let server come up
- sleep(1);
- $pid = (int) $output[0];
- // check server.log to see if it failed to start
- $server_logs = file_get_contents("./server.log");
- if (strpos($server_logs, "Fail") !== false) {
- // server failed to start for some reason
- print "Failed to start server! Logs:" . PHP_EOL . PHP_EOL;
- print_r($server_logs);
- exit(1);
- }
- echo sprintf('%s - Web server started on %s:%d with PID %d', date('r'), WEB_SERVER_HOST, WEB_SERVER_PORT, $pid) . PHP_EOL;
- register_shutdown_function(function() {
- // cleanup after ourselves -- remove log file, shut down server
- global $pid;
- unlink("./server.log");
- posix_kill($pid, SIGKILL);
- });
- }
|