diff options
author | 2001-05-29 17:45:00 +0000 | |
---|---|---|
committer | 2001-05-29 17:45:00 +0000 | |
commit | 5144a6103d16c0278c24a69d68dbd74fdfa676e3 (patch) | |
tree | 78609f779a5e310869db50028fd1ae2ee559d661 /html/mailinglist | |
parent | 43aad107460db62f23cadf68b2d36a565288cd2d (diff) |
Renamed file
Diffstat (limited to 'html/mailinglist')
-rw-r--r-- | html/mailinglist | 99 |
1 files changed, 99 insertions, 0 deletions
diff --git a/html/mailinglist b/html/mailinglist new file mode 100644 index 00000000..b4cfc176 --- /dev/null +++ b/html/mailinglist @@ -0,0 +1,99 @@ +<?php +/* + * Proof General mailing list subscription and unsubscription. + * + * David Aspinall, June 1999. + * + * $Id$ + * + */ + + require('functions.php3'); + if ($subscribe == ""): +## +## Subscription form +## + small_header("Proof General Mailing List"); + ?> +<p> +The mailing list address is +<a href="mailto:users@proofgeneral.org"> +<tt>users@proofgeneral.org</tt>. +</a> +</p> + +<p> +To subscribe or unsubscribe, you can fill in the form below. +<br> +Or send a message to +<a href="mailto:majordomo@proofgeneral.org"> + <tt>majordomo@proofgeneral.org</tt> +</a> +with the words "<tt>subscribe proofgeneral</tt>" +(or "<tt>unsubscribe proofgeneral"</tt>) in the message body. +</p> + +<p> +Since its beginning, the mailing list has been a low-volume list (one +message every few months). If the volume increases significantly due +to user interaction, we will introduce a separate mailing list for +announcements. +</p> + +<h2>Mailing list subscription</h2> + +<form method=post action="<?php echo $PHP_SELF; ?>"> +<table width="300" border="0" cellspacing="2" cellpadding="0"> +<tr> + <td width="30%">Your name:</td> + <td width="70%"><input type=text name="name" size="40"></td> +</tr> +<tr> + <td width="30%">Email address:</td> + <td width="70%"><input type=text name="email" size="40"></td> +</tr> +<tr> + <td width="30%"><input type=radio name="subscribe" value="yes" checked></td> + <td width="70%">Please add me to the mailing list.</td> +</tr> +<tr> + <td width="30%"><input type=radio name="subscribe" value="no"></td> + <td width="70%">Please remove me from the mailing list.</td> +</tr> +</table> +<input type=submit value="Send request"> +</form> +<p> +</p> +<?php + click_to_go_back(); + footer(); + + else: +## +## Process subscription +## + $title = ($subscribe == "yes" ? "Subscription" : "Unsubscription") . " Request"; + small_header($title); + + $request = ($subscribe == "yes" ? "join" : "be removed"); + + $message = ($subscribe == "yes" ? "subscribe " : "unsubscribe ") + . "proofgeneral"; + mail("majordomo@dcs.ed.ac.uk", + "[Web form from ~proofgen]", + $message, + "Reply-To: " . $email . "\nFrom: " . $email); + + if ($from != "") { print "<p>Dear " . $from . ",</p>\n"; }; + print "<p>"; + print "Your request to " . $request . " the proof general mailing list has been submitted.<br>"; + print "Thank-you!"; + print "</p>\n<p>"; + + click_to_go_back(); + + footer(); + endif; +?> + |