Thanks for your response - I don't know what change was made but I'm no longer having an issue with this. I see that the red square in the Development Mode window appears to be shutting down Jetty predictably now. But I really appreciate your time to respond. Thanks.
On Tuesday, December 11, 2012 2:52:53 PM UTC-7, Jens wrote: > > Simply kill the java process (but don't choose the java process with a lot > of assigned memory as thats probably Eclipse itself). > > But actually it does not have to be Jetty that uses the port. Maybe you > have a webserver/proxy or something else running on port 8888? You can also > configure the generated run configuration in Eclipse to use an unused port > that will be randomly chosen when starting DevMode. > > -- J. > -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To view this discussion on the web visit https://groups.google.com/d/msg/google-web-toolkit/-/aRwaYdaxab4J. To post to this group, send email to google-web-toolkit@googlegroups.com. To unsubscribe from this group, send email to google-web-toolkit+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.