bounds error in grops

[Anil Madhavapeddy]

Hi,

There's an incorrect buffer size passed to fgets()
in grops; patch is below.

cheers,
Anil

--- src/devices/grops/ps.cc.orig        Sun Apr 13 21:07:05 2003
+++ src/devices/grops/ps.cc     Sun Apr 13 21:07:35 2003
@@ -698,7 +698,7 @@
     fatal("can't open encoding file `%1'", encoding);
   int lineno = 1;
   char buf[256];
-  while (fgets(buf, 512, fp) != 0) {
+  while (fgets(buf, sizeof(buf), fp) != 0) {
     char *p = buf;
     while (csspace(*p))
       p++;