+++ /dev/null
-#include <stdio.h>\r
-#include <signal.h>\r
-\r
-extern int ParseError;\r
-\r
-void outbyte(int ch);\r
-int inbyte(void);\r
-char *ppcgets(char *s)\r
-{\r
-int i,j;\r
-/*fflush(stdout);\r
-fflush(stderr); */\r
-\r
-for(i=0; i<1024; i++)\r
-{\r
- j=inbyte();\r
- j=j&127;\r
- if(j<32 && j!=13 && j!=10 && j!=8 && j!=9 && j!=3) j=32;\r
- if(j==3) raise(SIGINT); /* control-C pressed */\r
- if(j==127 || j==8) \r
- { \r
- if(i>=1)\r
- {\r
- i+=-2;\r
- outbyte(8); \r
- outbyte(' '); \r
- outbyte(8);\r
- }\r
- else i--;\r
- }\r
- else\r
- {\r
- if(j!=13 && j!=10)\r
- { \r
- s[i]=j; \r
- outbyte(j); \r
- }\r
- }\r
- if(j==13) { /* outbyte(j); */ break; }\r
-}\r
-/* outbyte(10); */\r
-s[i]=0;\r
-/* fflush(stdout);\r
-fflush(stderr); */\r
-puts("");\r
-return(s);\r
-}\r
-\r