Merge branch 'master' of https://github.com/EiffelWebFramework/EWF

2013-02-27 21:50:14 +01:00
parent 22a725b8be 9c0a2bd6a1
commit 2302a91b5b
27 changed files with 290 additions and 139 deletions
--- a/library/network/protocol/http/src/http_header.e
+++ b/library/network/protocol/http/src/http_header.e
@@ -559,13 +559,16 @@ feature -- Cookie
 			if
 				domain /= Void and then not domain.same_string ("localhost")
 			then
-				s.append ("; Domain=" + domain)
+				s.append ("; Domain=")
+				s.append (domain)
 			end
 			if path /= Void then
-				s.append ("; Path=" + path)
+				s.append ("; Path=")
+				s.append (path)
 			end
 			if expiration /= Void then
-				s.append ("; Expires=" + expiration)
+				s.append ("; Expires=")
+				s.append (expiration)
 			end
 			if secure then
 				s.append ("; Secure")