jkh 1c1ef85e13 I have applied my last changes correcting the bug in dgbselect() to it
and here is the patch.  Submit it please. Thank you!

BTW, there is a new option "NDGBPORTS". By default it is equal to
NDGB*16 and means the number of ports of all Digiboards for which the
tty structures are reserved. It can be set to the real value in config-file
like:

       options "NDGBPORTS=8"
Submitted by:	Serge A. Babkin <babkin@hq.icb.chel.su>
1995-10-04 21:51:26 +00:00
..
1995-07-31 18:29:51 +00:00
1995-05-30 08:16:23 +00:00
1995-07-05 12:15:52 +00:00
1995-03-28 21:30:13 +00:00
1995-05-30 08:16:23 +00:00
1995-05-30 08:16:23 +00:00
1995-08-02 10:17:35 +00:00