Does it matter?
It was in the morning, when most lounge guests would use the restaurant anyway for breakfast.
Different matter if in the evening.
I suspect that these were shorts given that the partner was wearing other clothing.
If he wasn't planning on going out at that time, then shorts are perfectly acceptable.
Time we worried about the more important things in life......