48c48
< "$Id$";
---
> "$Id: write.c,v 1.7 1997/08/26 11:23:37 charnier Exp $";
57a58
> #include <locale.h>
65c66
< void done __P((void));
---
> void done __P((int));
83a85,86
> (void)setlocale(LC_CTYPE, "");
>
124c127
< done();
---
> done(0);
289c292,293
< done()
---
> done(n)
> int n; /* signal number */
309c313,315
< } else if (!isprint(*s) && !isspace(*s) && *s != '\007') {
---
> } else if (*s <= 0xA0 || /* disable upper controls */
> (!isprint(*s) && !isspace(*s) && *s != '\007')
> ) {
< "$Id$";
---
> "$Id: write.c,v 1.7 1997/08/26 11:23:37 charnier Exp $";
57a58
> #include <locale.h>
65c66
< void done __P((void));
---
> void done __P((int));
83a85,86
> (void)setlocale(LC_CTYPE, "");
>
124c127
< done();
---
> done(0);
289c292,293
< done()
---
> done(n)
> int n; /* signal number */
309c313,315
< } else if (!isprint(*s) && !isspace(*s) && *s != '\007') {
---
> } else if (*s <= 0xA0 || /* disable upper controls */
> (!isprint(*s) && !isspace(*s) && *s != '\007')
> ) {