On Fri, Jul 21, 2000 at 09:46:01PM +0200, Tomasz Wegrzanowski wrote: > On Fri, Jul 21, 2000 at 02:24:46PM +0200, Marcus Brinkmann wrote: > > Okay, here is a more thorough explanation: The server I mean gets the > > keyboard events directly from GNU Mach, and goes from that. So as long > > as GNU Mach and this server are fine, they will work correctly and > > process > > console switch command just fine, regardless of the state of the various > > terminals. > > I think we should exclude keyboard server from GNU Mach. > It would be way more flexible.
I don't understand what you mean, can you elaborate please? Thanks, Marcus -- `Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server Marcus Brinkmann GNU http://www.gnu.org for public PGP Key [EMAIL PROTECTED], [EMAIL PROTECTED] PGP Key ID 36E7CD09 http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/ [EMAIL PROTECTED]

