prefer 2 append call, rather than create a temp intermediary string object with +

This commit is contained in:
Jocelyn Fiat
2013-02-26 15:33:00 +01:00
parent 0902eef91c
commit 9c0a2bd6a1

View File

@@ -559,13 +559,16 @@ feature -- Cookie
if if
domain /= Void and then not domain.same_string ("localhost") domain /= Void and then not domain.same_string ("localhost")
then then
s.append ("; Domain=" + domain) s.append ("; Domain=")
s.append (domain)
end end
if path /= Void then if path /= Void then
s.append ("; Path=" + path) s.append ("; Path=")
s.append (path)
end end
if expiration /= Void then if expiration /= Void then
s.append ("; Expires=" + expiration) s.append ("; Expires=")
s.append (expiration)
end end
if secure then if secure then
s.append ("; Secure") s.append ("; Secure")