On Thu, 2004-10-28 at 17:29, Michael Neumann wrote:
> Btw, does anybody knows why WEBrick needs so long to shut down? Is this
> socket related?

I'm not sure, but I've seen the same thing on my WinXP box.  I ended up
putting in something like:

trap("INT") {
 server.shutdown
 exit
}

and that seemed to work most of the time...

Yours,

Tom