Anche la scanf da problemi di pulitura del buffer, prova così:

codice:
scanf("%d\n", &comando);
Ma in generale, è meglio prendere i valori in input usando fgets e atoi:

codice:
char buffer[100];
fgets(buffer,100,stdin);
comando=atoi(buffer);