Is it possible to turn on/off the Jetty server from within Eclipse?
I am running also tomcat and the only way to avoid conflicts is to start the Eclipse with a command line argument: -vmargs -Dch.ethz.jopera.common.jetty.port=8081.
I wonder if there is an alternative solution to this.
Added in version 2.3.4
Yes, look for the new JOpera Engine Threads preferences page to configure which port the Jetty server listens to and also to configure whether it should be started when JOpera starts.