diff options
author | steckbrief <steckbrief@chefmail.de> | 2016-12-12 12:58:12 +0100 |
---|---|---|
committer | steckbrief <steckbrief@chefmail.de> | 2016-12-12 12:58:12 +0100 |
commit | 0549800afeb7b8db389d79a9fd48feecf875ab23 (patch) | |
tree | da1dfcd654cdc312a88cda2fc2e2da54edbe3b98 /src | |
parent | 13dd3487d7c68c7067b4dcef920aa7afe6c740e2 (diff) |
Error handling improved, logging included
Diffstat (limited to 'src')
-rw-r--r-- | src/config/config.inc.php | 10 | ||||
-rw-r--r-- | src/lib/error.handler.inc.php | 44 | ||||
-rw-r--r-- | src/lib/functions.http.inc.php | 83 | ||||
-rw-r--r-- | src/loadArtifact.php | 34 | ||||
-rw-r--r-- | src/mvncache.php | 63 |
5 files changed, 215 insertions, 19 deletions
diff --git a/src/config/config.inc.php b/src/config/config.inc.php new file mode 100644 index 0000000..ac61c27 --- /dev/null +++ b/src/config/config.inc.php @@ -0,0 +1,10 @@ +<?php +/* + * Configuration file for mvn cache + */ + +return [ + 'mavenBaseUrls' => ['http://repo1.maven.org/maven2', ], + 'logfile' => 'logs/mvncache.log', +]; +?>
\ No newline at end of file diff --git a/src/lib/error.handler.inc.php b/src/lib/error.handler.inc.php new file mode 100644 index 0000000..9518e4b --- /dev/null +++ b/src/lib/error.handler.inc.php @@ -0,0 +1,44 @@ +<?php + +function initTheDevStackErrorHandler($logfile) { + // Save the log file name to constant for the error handler + define("LOGFILE", $logfile); + // Custom error handler that writes to a file + set_error_handler("theDevStackErrorHandler"); +} + +/** + * Error handler to write all messages to a dedicated log file. + */ +function theDevStackErrorHandler($errno, $errstr, $errfile, $errline) { + if (!(error_reporting() & $errno)) { + // This error code is not included in error_reporting + return; + } + $date = date(DATE_W3C); + $str = "$date "; + + switch ($errno) { + case E_USER_ERROR: + $str .= "ERROR [$errno]: $errstr, Fatal error on line $errline in file $errfile\n"; + break; + + case E_USER_WARNING: + $str .= "WARNING [$errno]: $errstr\n"; + break; + + case E_USER_NOTICE: + $str .= "NOTICE [$errno]: $errstr\n"; + break; + + default: + $str .= "Unknown error type: [$errno] $errstr\n"; + break; + } + + file_put_contents(LOGFILE, $str, FILE_APPEND); + + /* Don't execute PHP internal error handler */ + return true; +} +?>
\ No newline at end of file diff --git a/src/lib/functions.http.inc.php b/src/lib/functions.http.inc.php new file mode 100644 index 0000000..44296b5 --- /dev/null +++ b/src/lib/functions.http.inc.php @@ -0,0 +1,83 @@ +<?php +/* + * + * This file contains functions to be used to + * extract information based on http request information. + * + */ + +/** + * Inspired by https://github.com/owncloud/core/blob/master/lib/private/appframework/http/request.php#L523 + */ +function getServerProtocol() { + if (isset($_SERVER['HTTP_X_FORWARDED_PROTO'])) { + if (strpos($_SERVER['HTTP_X_FORWARDED_PROTO'], ',') !== false) { + $parts = explode(',', $_SERVER['HTTP_X_FORWARDED_PROTO']); + $proto = strtolower(trim($parts[0])); + } else { + $proto = strtolower($_SERVER['HTTP_X_FORWARDED_PROTO']); + } + // Verify that the protocol is always HTTP or HTTPS + // default to http if an invalid value is provided + return $proto === 'https' ? 'https' : 'http'; + } + if (isset($_SERVER['HTTPS']) + && $_SERVER['HTTPS'] !== null + && $_SERVER['HTTPS'] !== 'off' + && $_SERVER['HTTPS'] !== '') { + return 'https'; + } + return 'http'; +} + +function getRequestHostname() { + if (isset($_SERVER['HTTP_X_FORWARDED_HOST'])) { + return strtolower($_SERVER['HTTP_X_FORWARDED_HOST']); + } + return strtolower($_SERVER['HTTP_HOST']); +} + +function getRequestUriWithoutFilename() { + return strtolower(substr($_SERVER['REQUEST_URI'], 0, strrpos($_SERVER['REQUEST_URI'], '/') + 1)); +} + +function sendHttpReturnCodeAndJson($code, $data) { + if (!is_array($data)) { + $data = ['msg' => $data]; + } + header('Content-Type: application/json'); + sendHttpReturnCodeAndMessage($code, json_encode($data)); +} + +function sendHttpReturnCodeAndMessage($code, $text = '') { + http_response_code($code); + exit($text); +} + +function getOptionalPostParameter($parameterName, $default = NULL) { + $parameter = $_POST[$parameterName]; + if (!isset($parameter) || is_null($parameter) || empty($parameter)) { + $parameter = $default; + } + return $parameter; +} + +function getMandatoryPostParameter($parameterName, $message = '', $json = false) { + $parameter = $_POST[$parameterName]; + if (!isset($parameter) || is_null($parameter) || empty($parameter)) { + if (empty($message)) { + if ($json) { + $message = ['msg' => 'Missing parameter.', 'parameters' => ['missing_parameter' => $parameterName]]; + } else { + $message = 'Missing mandatory parameter "'.$parameterName.'".'; + } + } + if (!$json) { + sendHttpReturnCodeAndMessage(400, $message); + } else { + sendHttpReturnCodeAndJson(400, $message); + } + } + return $parameter; +} +?>
\ No newline at end of file diff --git a/src/loadArtifact.php b/src/loadArtifact.php new file mode 100644 index 0000000..6205164 --- /dev/null +++ b/src/loadArtifact.php @@ -0,0 +1,34 @@ +<?php +$mvnBaseUrl = 'http://repo1.maven.org/maven2'; + +$requestedArtifact = $_SERVER["REQUEST_URI"]; +$requestedArtifact = str_replace('/mvn', '', $requestedArtifact); +$baseLocalFolder = __DIR__; +$localFolder = $baseLocalFolder.substr($requestedArtifact, 0, strripos($requestedArtifact, '/')); +//echo $localFolder."<br>"; +if (!is_dir($localFolder)) { + mkdir($localFolder, 0770, true); +} + +$srcUrl = $mvnBaseUrl.$requestedArtifact; +//echo $srcUrl."<br>"; +$src = fopen($srcUrl, 'r'); + +$dstPath = $baseLocalFolder.$requestedArtifact; +//echo $dstPath; +$dst = fopen($dstPath, 'w'); + +$filesize = stream_copy_to_stream($src, $dst); + +if (0 == $filesize) { + unlink($dstPath); + unlink($localFolder); +} + +if (is_file($dstPath)) { + chmod($dstPath, 0660); + header('Location: http://'.$_SERVER["HTTP_HOST"].$_SERVER["REQUEST_URI"]); +} else { + header('HTTP/1.0 404 Not Found'); +} +?> diff --git a/src/mvncache.php b/src/mvncache.php index d296a4f..ef75a16 100644 --- a/src/mvncache.php +++ b/src/mvncache.php @@ -1,29 +1,54 @@ <?php -$mvnBaseUrl = 'http://repo1.maven.org/maven2'; + +include_once(__DIR__.'/lib/functions.http.inc.php'); +include_once(__DIR__.'/lib/error.handler.inc.php'); +// Load configuration +$config = require(__DIR__.'/config/config.inc.php'); + +initTheDevStackErrorHandler($config["logfile"]); $requestedArtifact = $_SERVER["REQUEST_URI"]; $requestedArtifact = str_replace('/mvn', '', $requestedArtifact); -$baseLocalFolder = __DIR__; +$baseLocalFolder = __DIR__.'/..'; $localFolder = $baseLocalFolder.substr($requestedArtifact, 0, strripos($requestedArtifact, '/')); -//echo $localFolder."<br>"; -if (!is_dir($localFolder)) { - mkdir($localFolder, 0770, true); -} -$srcUrl = $mvnBaseUrl.$requestedArtifact; -//echo $srcUrl."<br>"; -$src = fopen($srcUrl, 'r'); - -$dstPath = $baseLocalFolder.$requestedArtifact; -//echo $dstPath; -$dst = fopen($dstPath, 'w'); - -stream_copy_to_stream($src, $dst); +$tempFile = tmpfile(); +foreach ($config['mavenBaseUrls'] as $mvnBaseUrl) { + $srcUrl = $mvnBaseUrl.$requestedArtifact; + //echo $srcUrl."<br>"; + $src = fopen($srcUrl, 'r'); + $found = FALSE !== $src; + + if ($found) { + $filesize = @stream_copy_to_stream($src, $tempFile); + $found = 0 < $filesize; + } + if ($found) { + trigger_error("Artifact found at $srcUrl", E_USER_NOTICE); + break; + } else { + trigger_error("Artifact NOT found at $srcUrl", E_USER_WARNING); + } +} -if (is_file($dstPath)) { - chmod($dstPath, 0660); - header('Location: http://'.$_SERVER["HTTP_HOST"].$_SERVER["REQUEST_URI"]); +if (!$found) { + trigger_error("Artifact NOT found at any source", E_USER_WARNING); + sendHttpReturnCodeAndMessage(404, 'Not found'); } else { - header('HTTP/1.0 404 Not Found'); + //echo $localFolder."<br>"; + if (!is_dir($localFolder)) { + mkdir($localFolder, 0770, true); + } + $dstPath = $baseLocalFolder.$requestedArtifact; + //echo $dstPath; + $dst = fopen($dstPath, 'w'); + fseek($tempFile, 0); + stream_copy_to_stream($tempFile, $dst); + if (is_file($dstPath)) { + chmod($dstPath, 0660); + header('Location: http://'.$_SERVER["HTTP_HOST"].$_SERVER["REQUEST_URI"]); + } else { + header('HTTP/1.0 404 Not Found'); + } } ?> |