Wow! nice guy.
According to this
http://www.iarnrodeireann.ie/your_jo...tatio n_id=99
Portarlington station is open from 9am til 10:30pm on Sundays and Bank holidays.
I'd see about complaining about this in writing and when Irish rail don't respond within a short timeframe, keep us posted here.
See how many points of the customer charter they have failed
http://www.iarnrodeireann.ie/home/customer_charter.asp