anyway, the time zone portugal is in is [GMT +1] like most of Europe except the country where Greenwi(t)ch is (GMT = greenwich mean time).
Portugal is in GMT, it's just in summer time right now, like a lot of other countries, so it's easy to get an information that right now Portugal is in GMT +1. Someone from Portugal, correct me if I'm wrong on this.
But you know, there IS a logic operating in the timezone system. Unless Portugal is an exception (wich is truly possible, since a lot of other countries are), it would make no sense in it being GMT+1, because this would mean Portugal is eastern then England. That's basic geography.
[EDIT]
This is where I found the information (I though it so unlogic that I had to find for myself, I just forgot to link it up in the post)
[EDIT]
Bad link, think it'll work properly now...
PS (portuguese readers only

) = Depois q o Brasil foi eliminado da copa (o q foi ridículo), vários de nós estamos torcendo por vcs! Além da nossa raiz ibérica, o Filipão continua sendo brasileiro!

Translation: After Brazil's elimination on the world cup (wich was ridiculous), a lot of us are cheering for you! Besides our iberic root, Filipão [portuguese team coach] stills being brazilian!