+ */
+
+ /*
+ * Correction contributed by Phyllis Kantar @ Rand-unix
+ *
+ * Fixes long standing problem with tty names other than 00-99
+ */
+ if (ibuf.ut_line[0]=='t') {
+ i = (ibuf.ut_line[3]-'0');
+ if(ibuf.ut_line[4])
+ i = i*79 + (ibuf.ut_line[4]-'0');
+ } else
+ i = TSIZE-1;
+ if (i<0 || i>=TSIZE) {
+ i = TSIZE-1;
+ printf("ac: Bad tty name: %s\n", ibuf.ut_line);
+ }
+