Ah, good to know! Thank you!I already had Jetty under suspicion, but we had this failure quite often in October and November, when the bug was not yet reported.
-Kuli Am 14.03.2012 12:08, schrieb Colin Howe:
After some more digging around I discovered that there was a bug reported in jetty 6: https://jira.codehaus.org/browse/JETTY-1458 This prompted me to upgrade to Jetty 7 and things look a bit more stable now :)