Quartus hung after synthesis, license issue?

We have a license server installed in a linux box with six licenses. Three members of my team access it by running quartus on their local boxes, by putting in the correct options in quartus. Qu...