view web/404.html @ 55:e421ea2519ec

dgamelaunch: define user/group by name instead of UID/GID. The user and group might not be created with the UID and GID expected, so it is better to use names. They can be changed to numeric values after installation.
author John "Elwin" Edwards
date Sun, 11 May 2014 08:32:31 -0700
parents 64272fc2350c
children
line wrap: on
line source

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<title>File Not Found</title>
<link rel="stylesheet" type="text/css" href="/main.css">
</head>
<body>
<h1>File Not Found</h1>
<div class="content">
<p>The page or file you're looking for doesn't exist.</p>
<p>Maybe it was devoured by a dragon that got loose on the hard disk. If that happened, the problem should get fixed quickly.</p>
<p>Or maybe you have been fighting umber hulks, and mistyped the name. Quaff a potion of healing and try again.</p>
</div>
</body>
</html>