couldn't kill games-server.py

[Alan Horkan <horkana maths tcd ie>]

I was experimenting and I ran games-server.py without knowing what it was
exactly.  (I've since foudn it is part of gnome-games and is a helper for
running network games.)

I was surprised that Ctrl+C and Ctrl+D both failed to force quit the
program (instead a logged in to another terminal and used top to kill it).

Is that behaviour to be expected or is it likely to be some other oddity
in my setup?

Sincerely

Alan Horkan

Inkscape http://inkscape.org
Abiword http://www.abisource.com
Dia http://gnome.org/projects/dia/
Open Clip Art http://OpenClipArt.org

Alan's Diary http://advogato.org/person/AlanHorkan/