I just had a problem with ui.py bombing for the unresolved symbol socket (because of the way the username is guessed on Windows). My guess is that this depends on the new demand_load stuff. -- Giuseppe "Oblomov" Bilotta Hic manebimus optime