tree 911cf7aa3ee18e2b28c21ec64a8ac8df0de772d6
parent 231b4548e685416fc6c86d9dbdcdfcfaa88aae05
author Dave Borowitz <dborowitz@google.com> 1357929097 -0800
committer Dave Borowitz <dborowitz@google.com> 1357929505 -0800

Use Jetty's SocketConnector instead of SelectChannelConnector

Performance is not important for the development server, and our user
who is having issues with Jetty is having issues specifically in the NIO
code; this fixes the problem for him.

Change-Id: Ic15984be4e92d159f5060e47bb2ec7abce274fa8