annotate src/org/eclipse/jetty/http/useragents @ 961:790c01734386

make SelectChannelEndPoint._key final
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 13 Oct 2016 22:03:24 -0600
parents 3428c60d7cfc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source