I/O fixes: get_quoted would go through EOF, check if answer replied EOF

when asking for more solutions, readline in stream == 0 not 2.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@491 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

C/scanner.c

@@ -1428,6 +1428,10 @@ fast_tokenizer(void)
 	    *charp++ = ch;
 	    my_fgetch();
 	  }
+	  if (chtype[ch] == EF) {
+	    kind = eot_tok;
+	    break;
+	  }
 	  ++len;
 	  if (charp > (char *)AuxSp - 1024) {
 	    /* Not enough space to read in the string. */