[xHombrex]

OK credo che userò questa funzione read_string() in questo modo :

Codice PHP:

char *read_string()
{
     
    int eof = 0; 
    char *line;
    int i, s = 16;
    char c;
    if (eof) {
        return NULL;
    }
    line = malloc(sizeof(char) * s);
    for (i = 0; 1; i++) {
        if (i + 1 >= s) {
            s *= 2;
            line = realloc(line, s);
        }
        c = getchar();    
        switch (c) {
            case '\n':
                line[i] = '\0'; 
                return line;
            case EOF:
                eof = 1;
                if (i == 0) return NULL;
                line[i] = '\0'; 
                return line;
            default: 
                line[i] = c; break;
        }
    }


} 


Codice PHP:

while((stringa = read_string()) != NULL);
   
  
   
   printf("%s",stringa);
   
   
   token1 = strtok(stringa, " ");
   token2 = strtok(stringa, " ");
   token3 = strtok(stringa, "");
   
        printf("%s \n",token1);
        printf("%s \n",token2);
        printf("%s \n",token3); 


il problema è che ora però non mi stampa nulla!rimane sempre in attesa che inserisca input e in pratica non termina mai...dove sbaglio?