I just downloaded and built Geronimo, seems to work fine so far. 

I take it from this conversation that there is no way at present to
stop the server other than killing it, with Ctrl-C or somesuch. Is
that correct?

Thanks
David Farb


Reply via email to