diff options
| author | Manolo Carrasco <manolo@vaadin.com> | 2014-04-03 17:05:47 +0200 |
|---|---|---|
| committer | Marc Englund <marc@vaadin.com> | 2014-05-06 06:21:45 +0000 |
| commit | 0b8545e48796a0922f3a0680aa53e29d70b3cb03 (patch) | |
| tree | 72450246374ae46e0f74e3872eabb8beab9a205a /eclipse | |
| parent | 66f9563bedba5040d8bfff10b13d166de04a19db (diff) | |
| download | vaadin-framework-0b8545e48796a0922f3a0680aa53e29d70b3cb03.tar.gz vaadin-framework-0b8545e48796a0922f3a0680aa53e29d70b3cb03.zip | |
DevelopmentServletLoader: Reload servlet container
- Add a couple of parameters in order make jetty context
reload whenever a class is modified.
- Remove deprecated SSL API calls.
Change-Id: I737fb92e78ce5573a4473639f25fcdad606f3c55
Diffstat (limited to 'eclipse')
| -rw-r--r-- | eclipse/Development Server (vaadin).launch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse/Development Server (vaadin).launch b/eclipse/Development Server (vaadin).launch index 9505811c0b..197344cce0 100644 --- a/eclipse/Development Server (vaadin).launch +++ b/eclipse/Development Server (vaadin).launch @@ -14,6 +14,7 @@ </listAttribute> <booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/> <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.vaadin.launcher.DevelopmentServerLauncher"/> +<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="--autoreload=build/classes --scaninterval=3"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="vaadin"/> <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/> </launchConfiguration> |