char *cookie is the value of the Cookie: request header.
char *name is the name of the cookie whose value is to be retrieved.
