Re: [jetty-users] Can't edit files, locked by server

2022-02-28 Thread John English
I found the solution: the servlet mapping for the default servlet was missing from web.xml. Adding the following fixed the problem: default / -- John English -- This email has been checked for viruses by AVG. https://www.avg.com ___

Re: [jetty-users] Can't edit files, locked by server

2022-02-27 Thread John English
On 27/02/2022 17:11, Greg Wilkins wrote: Wow, I've not looked at jetty-8 source code for a long time. I'm not surprised. :) Try also setting maxCachedFiles to 0 No, that doesn't work either. What else would you tell me to look at if it were Jetty 9? (Sorry, just noticed I was replying to

Re: [jetty-users] Can't edit files, locked by server

2022-02-27 Thread Greg Wilkins
Use Linux Well if you insist on using insecure clunky operating systems like Windows, then what you need to do is to stop Jetty keeping any file references at all open. So stopping file mapped buffer usage is a good step, but you probably also need to set up a zero sized static content

[jetty-users] Can't edit files, locked by server

2022-02-26 Thread John English
I have an ancient Jetty 8.1.4 plus Derby plus JDK 1.7 plus portable Notepad++ setup which I used to give to students about a decade ago as a self-contained distro in a zipfile. (Yes, I know I should update the Jetty version, not to mention the Derby, Java and Notepad++ versions, but please