Matthias Scheler wrote:
> 
> In article <E0yQzyI-0001q7-00@taurus.cus.cam.ac.uk>,
> 	prlw1@cam.ac.uk (Patrick Welche) writes:
> > A couple of times now I have been giving my PC a bit of number
> > crunching to do, while using it under X, and all of a sudden it is as
> > if my keyboard was not connected.
> 
> Check "/etc/ttys" for a "getty" using the same tty as "xdm".

Drats - I should have known better!

Thank you,

Patrick