def delete_user(user)
# Delete the given username and any records in other tables
# belonging to it.
- raise NonexistentUserError.new(user) if not user_exists(user)
+ raise NonexistentUserError.new(user.to_s()) if not user_exists(user)
user_id = self.get_user_id(user)