e5e764fe95
There is probably some way to read arbitrary files from the container via some kind of crafted path, but it's their own container so meh. Minimal due diligence has been done to sanitize the path a bit at least. Slightly rearranged the start page as well to make it more logical
100 lines
2.4 KiB
HTML
100 lines
2.4 KiB
HTML
¤¤ base ¤¤
|
|
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<title>PVT course group admin page</title>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
<link rel="stylesheet" href="./style.css"/>
|
|
</head>
|
|
<body>
|
|
<main>
|
|
<h1>PVT Course group admin page</h1>
|
|
<div>
|
|
You are logged in as <strong>¤cn¤ (¤user¤)</strong><br/>
|
|
¤groupstring¤
|
|
</div>
|
|
¤groupinfo¤
|
|
</main>
|
|
</body>
|
|
</html>
|
|
|
|
¤¤ groupstring ¤¤
|
|
You belong to <strong>¤group¤</strong>
|
|
|
|
¤¤ nogroup ¤¤
|
|
You don't seem to belong to a group.
|
|
|
|
¤¤ groupinfo ¤¤
|
|
<h2>Instructions</h2>
|
|
<div>
|
|
<p>
|
|
Basic project setup information is available <a href='./project.html'>here
|
|
</a>.
|
|
</p>
|
|
<p>
|
|
Basic jenkins configuration instructions are available
|
|
<a href='./jenkins.html'>here</a>.
|
|
</p>
|
|
<p>
|
|
A guide to setting up a simple HTTP CRUD interface to a database is
|
|
available <a href='./database.html'>here</a>.
|
|
</p>
|
|
</div>
|
|
|
|
<h2>Debugging</h2>
|
|
<div>
|
|
<p>
|
|
The container's tomcat logs can be viewed
|
|
<a href="./logs.php" target="_blank">here</a>.
|
|
</p>
|
|
<p>
|
|
If the container becomes unresponsive or otherwise misbehaves,
|
|
you can reset it. <br/>
|
|
<strong>
|
|
All data stored in the container, including logs, will be lost!
|
|
</strong>
|
|
</p>
|
|
<p>
|
|
<button form="container_reset">Reset container</button>
|
|
</p>
|
|
<form id="container_reset" action="./action.php" target="_blank">
|
|
<input type="hidden" name="a" value="reset" />
|
|
</form>
|
|
</div>
|
|
|
|
<h2>Paths and credentials</h2>
|
|
<div>
|
|
<p>
|
|
The group's tomcat container is available at <a href='¤container¤'>
|
|
¤container¤</a>
|
|
</p>
|
|
<p>
|
|
The group's tomcat manager is available at <a href='¤container¤/manager'>
|
|
¤container¤/manager</a>,
|
|
using the following credentials:
|
|
</p>
|
|
<pre>¤creds_tomcat¤</pre>
|
|
</div>
|
|
<div>
|
|
<p>
|
|
The group's jenkins instance is available at
|
|
<a href='¤jenkins¤'>¤jenkins¤</a>, using the following credentials:
|
|
</p>
|
|
<pre>¤creds_jenkins¤</pre>
|
|
<p>
|
|
You can of course create your own users as well, but the admin account
|
|
should be kept around for recovery purposes at least.
|
|
</p>
|
|
</div>
|
|
<div>
|
|
<p>
|
|
The group's public key is:
|
|
</p>
|
|
<pre>¤pubkey¤</pre>
|
|
<p>
|
|
The group's private key is:
|
|
</p>
|
|
<pre>¤privkey¤</pre>
|
|
</div>
|