aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-13 17:47:47 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-13 17:47:47 +0000
commit06f114bdc709e2ad3facfe9cd2cf58b5e5e594b7 (patch)
treef1c16c6d74d97b773a399797d6721302d4caa4b7
parentb6150be576e5c3b01cd4081c2bb19ea882980b31 (diff)
Improve form
-rw-r--r--html/register12
1 files changed, 6 insertions, 6 deletions
diff --git a/html/register b/html/register
index 097d8441..d7723846 100644
--- a/html/register
+++ b/html/register
@@ -38,7 +38,7 @@ again, so return to <a href="download#prereq">the download page</a>.
<?php endif; ?>
<h2>Registration Form</h2>
<form method=post action="<?php print $PHP_SELF . "?submit"; ?>">
-<table width="300" border="0" cellspacing="2" cellpadding="0">
+<table width="600" border="0" cellspacing="2" cellpadding="0">
<tr>
<td width="30%">Your name:</td>
<td width="70%"><input type=text name="name" size="40"
@@ -50,7 +50,7 @@ again, so return to <a href="download#prereq">the download page</a>.
value="<?php echo $email;?>"></td>
</tr>
<tr>
- <td width="30%">Site name:</td>
+ <td width="30%">Your site name:</td>
<td width="70%"><input type=text name="site" size="40"
value="<?php echo $site;?>"></td>
</tr>
@@ -90,12 +90,12 @@ again, so return to <a href="download#prereq">the download page</a>.
Could be a function in functions.php3 */
if ($mailinglist) {
- $message = "subscribe proofgeneral";
- mail("majordomo@dcs.ed.ac.uk",
- "[Web form from ~proofgen]",
+ $message = "subscribe address=$email";
+ mail("proofgeneral-request@informatics.ed.ac.uk",
+ "[Web form from Proof General]",
$message,
"Reply-To: " . $email . "\nFrom: " . $email);
- print "Your name has been added to the Proof General mailing list.<br>";
+ print "A subscription request has been sent for the Proof General mailing list.<br>";
}
print "</p>\n<p>";