diff options
| author | David Aspinall | 1999-06-28 13:44:49 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-28 13:44:49 +0000 |
| commit | d9584fe0ede8c6afa81a95bbee81d57ba88fe5e3 (patch) | |
| tree | d0a423c26b2a87a23f9dd89ccd39f7ee39538178 /html | |
| parent | d1515c3cd62a31ba81f8f7ce80d6c0092bc5713e (diff) | |
Fixed email addresses
Diffstat (limited to 'html')
| -rw-r--r-- | html/register.phtml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/register.phtml b/html/register.phtml index 454b9890..1b9c8f7c 100644 --- a/html/register.phtml +++ b/html/register.phtml @@ -76,7 +76,7 @@ for using Proof General. . "\nEmail:\t\t " . $email . "\nSite:\t\t " . $site . "\nSubmitted:\t" . date("h:ia D jS F Y"); - mail("da", /* "proofgen@dcs.ed.ac.uk", */ + mail("proofgen@dcs.ed.ac.uk", "[Registration form from ~proofgen]", $message); @@ -89,7 +89,7 @@ for using Proof General. if ($mailinglist) { $message = "subscribe proofgeneral"; - mail("da", /* "majordomo@dcs.ed.ac.uk", */ + mail("majordomo@dcs.ed.ac.uk", "[Web form from ~proofgen]", $message, "Reply-To: " . $email . "\nFrom: " . $email); |