wescodestech / spring-2013-se2-dijkstra Goto Github PK

What steps will reproduce the problem?
1. Register a user with same name, domain, different password
2. Repeat step 1 with a new password
3. Look at address-book.xml on the server

What is the expected output? What do you see instead?
The registration process creates two of the same user with two different 
passwords.  This can be resolved via the lisp data, but I am placing it as a 
bug so that I may fix it at a later date.

I wrote the Email I/O in Dr. Racket and it works from this environment. 
However, when I try to admit and load the module into ACL2, it is failing. 

I still need to tie up a few ends on things and hope this solve the issues.

What steps will reproduce the problem?
1. Start server via "bash start_server.sh" in server root directory.
2. Attempt to transmit email XML data via NC to port 20006.
3. Review the results in the store folders for email.

What is the expected output? What do you see instead?
The expected output is to have an email placed into that folder with the data 
that was present from the XML you transferred through NC.  Instead, no file 
shows up at the current point in time.  Attempted fix with user registration by 
ensuring the folders exist.  Need to add a mail daemon to forward to the 
senders email instead to ensure the user knows that the email could not be sent 
properly.  Also need to verify that the user exists in the address book before 
sending an email with user credentials as to implement security measures for 
email processing.