mailem.py

mailem.py is a batch script which emails to the student the collected file userid/userid.html. mailem.py takes as arguments a list of student directory names. Typical usage is:

mailem.py  *

mailem.py userid

Notes

• If no arguments are given, a usage message is printed and the script exits.

• If any argument is not a directory name in the current working directory, it is skipped.

• The students file userid/userid.html is emailed to the student.

• The email to address can be controlled by the configuration file. In particular, the mail can be sent to the student's email address, rather than their userid@local address.