50yo male heavy smoker went to the top of a mountain by coach and?

then his nose started running a yellow green colour like bile,it stopped after about half an hour,could it be a symptom of something,or was it the fresh air?