diff options
| author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2016-12-13 10:10:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-13 10:10:35 +0100 |
| commit | fddb038b377f05317f8d616bec615d278acf580a (patch) | |
| tree | 8326f90841e9a70f5b0578e7cefc3b0d296e2754 /jdisc_jetty | |
| parent | d377c98a3e13ea071cce48ec2f72e3bc09c91316 (diff) | |
| parent | e596c28f26a7508c5255e7b45b592aba5dcd1df8 (diff) | |
Merge pull request #1314 from yahoo/bjorncs/jdisc
Check for finished state in case other threads has called setFinished
Diffstat (limited to 'jdisc_jetty')
0 files changed, 0 insertions, 0 deletions