Normalement input_line lit jusqu'à ce qu'il rencontre un \n, alors si ton serveur n'en envoie pas....
Méfie toi de print_string aussi, certain shells ont tendance à n'écrire que lorsqu'il y a un \n (encore), un print_newline () supplémentaire ou un remplacement par print_endline serait de bon aloi
Message édité par Pillow le 24-12-2004 à 21:14:43