diff options
author | Stefan Hajnoczi | 2008-05-10 15:29:40 +0200 |
---|---|---|
committer | Michael Brown | 2008-05-20 21:27:52 +0200 |
commit | ce298a9628b0f78631a326c1c60b9c8e990f23f8 (patch) | |
tree | 2195be5f08f09326ca104b4ad571f41526e6b702 | |
parent | [Contribs] Add command-line utility for looking up gPXE error codes. (diff) | |
download | ipxe-ce298a9628b0f78631a326c1c60b9c8e990f23f8.tar.gz ipxe-ce298a9628b0f78631a326c1c60b9c8e990f23f8.tar.xz ipxe-ce298a9628b0f78631a326c1c60b9c8e990f23f8.zip |
[Contribs] Add a web interface for looking up error codes.
Add a PHP script to act as a web interface for looking up error codes.
-rw-r--r-- | contrib/errcode/errcode.php | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/contrib/errcode/errcode.php b/contrib/errcode/errcode.php new file mode 100644 index 00000000..d7c1dd04 --- /dev/null +++ b/contrib/errcode/errcode.php @@ -0,0 +1,65 @@ +<? +// The path to the errcode.py script. +$ERRCODE_PATH = './errcode.py'; +?> + +<html> + <head> + <title>gPXE Error Code Lookup</title> + <style> + body, pre, div, form, p, h2, b, tt { + padding: 0; + border: 0; + margin: 0; + } + body { + padding: 0.5em; + width: 750px; + font-family: sans-serif; + } + pre { + margin: 0.2em; + padding: 0.1em; + background-color: #ddd; + } + form { + margin: 0.2em; + } + div { + margin: 0.2em; + padding: 0.4em; + border: 1px dashed black; + } + </style> + </head> + <body> +<? +if (!empty($_REQUEST['e']) && preg_match('/^(0x)?[0-9a-f]{8}$/', $_REQUEST['e'])) { +?> + <pre> +<? + system($ERRCODE_PATH . " " . $_REQUEST['e']); +?> + </pre> +<? +} +?> + <form action="" method="post"> + <label for="e">Error code:</label> + <input type="text" name="e" id="e" value="0x12345678"></input> + <input type="submit" value="Lookup"></input> + </form> + + <div> + <h2>Hint:</h2> + <p> + Firefox users can right-click on the <b>Error code</b> + text box and select <b>Add a Keyword for this Search...</b>. + Set <b>name</b> to <tt>gPXE Error Code Lookup</tt> and + <b>keyword</b> to <tt>gxpe</tt> Then you can look up error + codes by typing something like the following in your address + bar: <tt>gpxe 0x3c018003</tt> + <p> + </div> + </body> +</html> |