/**
  * Set cookie for the application's client.
  * @param HTTPCookie $cookie
  */
 public function set_cookie(HTTPCookie $cookie)
 {
     setcookie($cookie->get_name(), $cookie->get_value(), $cookie->get_expiration_date(), $cookie->get_path(), $cookie->get_domain(), $cookie->get_secure(), $cookie->get_httponly());
 }