------- Comment #2 from joseph at codesourcery dot com 2009-11-11 23:35 ------- Subject: Re: server not respond This is probably a duplicate of bug 41343 (it's reported against a trunk version more than a month old). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42012