[Kernel-packages] [Bug 1699460] Re: Jetty - Service killed by signal 11

Fixed in - linux-image-3.13.0-123-generic ** Changed in: linux (Ubuntu) Status: Incomplete => Fix Released -- You received this bug notification because you are a member of Kernel Packages, which is subscribed to linux in Ubuntu. https://bugs.launchpad.net/bugs/1699460 Title: Jetty -

[Kernel-packages] [Bug 1699460] Re: Jetty - Service killed by signal 11

Would you say this bug is now resolved? If so, can you change the status to "Fix Released"? Thanks in advance! ** Changed in: linux (Ubuntu) Importance: Undecided => Medium ** Changed in: linux (Ubuntu) Status: Confirmed => Incomplete ** Tags added: kernel-da-key -- You received

[Kernel-packages] [Bug 1699460] Re: Jetty - Service killed by signal 11

This issue looks to have been resolved in linux-image-3.13.0-123-generic uname -a Linux dev.ha247.co.uk 3.13.0-123-generic #172-Ubuntu SMP Mon Jun 26 18:04:35 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux service jetty restart * Stopping Jetty servlet engine (was reachable on